togl.cmo: togl.cmi 
togl.cmx: togl.cmi 
