GCC: bring GCC-4.8.1-CLooG to work with ISL