diff -r bfad02f03c75 -r e11a8a2e225d 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	Tue Mar 11 22:11:43 2014 +0100
@@ -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