config-file depends on camlp4.