Make camlp4 optional.