[firedrake] petsc4py install issues