mqint.cmo: mqint.cmi 
mqint.cmx: mqint.cmi