===> Cleaning for camlp5-8.03.01