Avoid using camlp4 for all files