Make Camlp4 optional