configuration.cmo: configuration.cmi 
configuration.cmx: configuration.cmi 
