petsc fixes