hbugs_broker.cmo: hbugs_broker_registry.cmi 
hbugs_broker.cmx: hbugs_broker_registry.cmx 
hbugs_broker_registry.cmo: hbugs_broker_registry.cmi 
hbugs_broker_registry.cmx: hbugs_broker_registry.cmi