[petsc-dev] DMPLEX with VecGhost