coqinstall.cmo: ../../src/config/coq_config.cmi 
coqinstall.cmx: ../../src/config/coq_config.cmx 
