===> Cleaning for pipebench-0.40