Re: [petsc-dev] PETSC_COMM_WORLD not a PETSc communicator