xmlDiff.cmo: xmlDiff.cmi 
xmlDiff.cmx: xmlDiff.cmi