===> Cleaning for yacas-1.2.2