===> Cleaning for cvise-2.6.0nb1