First attempt moving from PPL to ISL library. GCC-4.8 prefer to use ISL.