after installing new petsc