petsc is spelt PETSc