[petsc-dev] Error in HDF5 dumps of DMPlex labels