pconfig.cmo: pconfig.cmi 
pconfig.cmx: pconfig.cmi 
