===> Cleaning for happy-1.20.0nb1