Fix wrt latest camlp4 4.02