===> Cleaning for sollya-8.0