===> Cleaning for ktimer-4.8.0