fix petsc test