-disambiguatePp.cmo: disambiguatePp.cmi
-disambiguatePp.cmx: disambiguatePp.cmi
-matitaSync.cmo: grafiteTypes.cmi disambiguatePp.cmi matitaSync.cmi
-matitaSync.cmx: grafiteTypes.cmx disambiguatePp.cmx matitaSync.cmi
+grafiteSync.cmo: grafiteTypes.cmi grafiteSync.cmi
+grafiteSync.cmx: grafiteTypes.cmx grafiteSync.cmi