camlp5's claim to support 4.01.0 was wrong; 4.00.x is max