-nDisambiguate.cmo: nDisambiguate.cmi
-nDisambiguate.cmx: nDisambiguate.cmi
-nGrafiteDisambiguator.cmo: nDisambiguate.cmi nGrafiteDisambiguator.cmi
-nGrafiteDisambiguator.cmx: nDisambiguate.cmx nGrafiteDisambiguator.cmi
+nCicDisambiguate.cmo: nCicDisambiguate.cmi
+nCicDisambiguate.cmx: nCicDisambiguate.cmi