-hbugs_messages.cmo: hbugs_types.cmo hbugs_messages.cmi
-hbugs_messages.cmx: hbugs_types.cmx hbugs_messages.cmi
+hbugs_messages.cmo: hbugs_misc.cmi hbugs_types.cmo hbugs_messages.cmi
+hbugs_messages.cmx: hbugs_misc.cmx hbugs_types.cmx hbugs_messages.cmi