Fix cloog and isl for good.