small refresh for new cloog and isl versions