===> Cleaning for chezscheme-10.0.0