Re: [firedrake] value of PETSC_DIR used by activate?