===> Cleaning for cloog-0.18.4