petsc config fix