gossip.cmo: groupd.cmo 
gossip.cmx: groupd.cmx 
