make petsc default on