[firedrake] petsc/petsc4py incompatibilities