-oldDisambiguate.cmo: oldDisambiguate.cmi
-oldDisambiguate.cmx: oldDisambiguate.cmi
-disambiguatingParser.cmo: oldDisambiguate.cmi disambiguatingParser.cmi
-disambiguatingParser.cmx: oldDisambiguate.cmx disambiguatingParser.cmi
+disambiguatingParser.cmo: disambiguatingParser.cmi
+disambiguatingParser.cmx: disambiguatingParser.cmi