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