===> Cleaning for coconut-0.3.0nb67