===> Cleaning for fricas-1.2.0