Find petsc better