Cloog 0.18.1 by default