Petsc conifg opts changed

maybe use a name that's a bit more descriptive?