return petsc4py to usual source