===> Cleaning for gerbil-0.18.2