Bugfix for Xdr with non-32-bit dof_id_type