config-file depends on camlp4.
Merge pull request #2571 from yallop/config-file-camlp4

config-file depends on camlp4.