===> Cleaning for cvise-2.8.0