p4pyPETSc import in LinearSolvers