===> Cleaning for sollya-7.0nb5