Bugfix for dof_id_type!=unsigned int configs