I propose to use USE_PETSC for consistency because we are already using USE_LIS. Chaning USE_XXX to OGS_USE_XXX can be done in another PR.