<div dir="ltr">As a related matter, could we add a field PETSC_PYTHON to petscvariables so that Makefile users can run a consistent version?</div>