Re: [firedrake] Using own PETSc with --honour-petsc-dir