camlp4 is not mandatory