[arch-dev-public] isl update and gcc-4.6 status