ISL updated & gcc-4.8.4 added & some fixes