Fixing Camlp4 compilation