to remove petsc since it is not currently being used