===> Cleaning for camlp-streams-5.0.1