===> Cleaning for libwhisker2-2.4