===> Cleaning for camlp5-8.00.03nb1