===> Cleaning for prelude-manager-0.9.15