===> Cleaning for speedcrunch-0.12.0