4.01.0beta1: -no-camlp4
Merge pull request #993 from trefis/master

4.01.0beta1: -no-camlp4