Add a camlp4 that's compatible with modular implicits.