===> Cleaning for coccinelle-0.1.7