Fix wxWidgets.ocp to build wxOCamlConfig.h