===> Cleaning for fricas-1.3.5nb1