Remove the -no-camlp4 flag