Petsc conifg opts changed

But then it should be earlier in the file, right?