-multiPassDisambiguator.cmo: multiPassDisambiguator.cmi
-multiPassDisambiguator.cmx: multiPassDisambiguator.cmi
-grafiteDisambiguate.cmo: multiPassDisambiguator.cmi grafiteDisambiguate.cmi
-grafiteDisambiguate.cmx: multiPassDisambiguator.cmx grafiteDisambiguate.cmi