--- ./configure.orig	2017-05-02 20:25:05.000000000 -0700
+++ ./configure	2017-05-02 20:25:38.000000000 -0700
@@ -6000,7 +6000,7 @@
 $as_echo "$as_me: WARNING: using in-tree ISL, disabling version check" >&2;}
   fi
 
-  isllibs="${isllibs} -lisl"
+  isllibs="${isllibs} -lisl.13"
 
 
 
@@ -6011,7 +6011,7 @@
 
     CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}"
     LDFLAGS="${_isl_saved_LDFLAGS} ${isllibs}"
-    LIBS="${_isl_saved_LIBS} -lisl"
+    LIBS="${_isl_saved_LIBS} -lisl.13"
 
     { $as_echo "$as_me:${as_lineno-$LINENO}: checking for compatible ISL" >&5
 $as_echo_n "checking for compatible ISL... " >&6; }