Minor update to PETSc formula.

Protect against case where the user already has a PETSC_DIR and/or a
PETSC_ARCH.