Re: [firedrake] petsc4py install issues