dump2xdmf fixes