Re: [firedrake] Install failing on PETSc build