diff -r bfad02f03c75 -r 86a8d1d467c8 scripts/build/companion_libs/121-isl.sh
--- a/scripts/build/companion_libs/121-isl.sh	Sat May 04 00:08:34 2013 +0200
+++ b/scripts/build/companion_libs/121-isl.sh	Thu Aug 01 20:24:35 2013 +0000
@@ -13,7 +13,8 @@
 # Download ISL
 do_isl_get() {
     CT_GetFile "isl-${CT_ISL_VERSION}"  \
-        ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/
+        ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/ \
+        http://mirrors.kernel.org/sources.redhat.com/gcc/infrastructure
 }
 
 # Extract ISL