dump2xdmf tweaks