===> Cleaning for fricas-1.0.5nb1