Get petsc4py working