nDisambiguate.cmo: nDisambiguate.cmi 
nDisambiguate.cmx: nDisambiguate.cmi 
nGrafiteDisambiguator.cmo: nDisambiguate.cmi nGrafiteDisambiguator.cmi 
nGrafiteDisambiguator.cmx: nDisambiguate.cmx nGrafiteDisambiguator.cmi