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