GCC: add ISL to GCC-4.8.2