turn off verbosity by default; build camlp4 by default