sigs.cmo: defs.cmo 
sigs.cmx: defs.cmx