-lexiconTypes.cmo: grafiteDisambiguate.cmi lexiconTypes.cmi
-lexiconTypes.cmx: grafiteDisambiguate.cmx lexiconTypes.cmi
-lexiconSync.cmo: lexiconSync.cmi
-lexiconSync.cmx: lexiconSync.cmi
+lexiconSync.cmo: grafiteDisambiguate.cmi lexiconSync.cmi
+lexiconSync.cmx: grafiteDisambiguate.cmx lexiconSync.cmi