diff --git a/lib/External/update-isl.sh b/lib/External/update-isl.sh
index 5b78f7e..0bf3e0d 100755
--- a/lib/External/update-isl.sh
+++ b/lib/External/update-isl.sh
@@ -23,11 +23,11 @@
 
 for DISTFILE in "$BUILDDIR/isl*.tar.gz"; do break; done
 
-cp $ISL_SOURCE_DIR/include/isl-noexceptions.h $TMPDIR/isl-noexceptions.h
+cp $ISL_SOURCE_DIR/include/isl/isl-noexceptions.h $TMPDIR/isl-noexceptions.h
 
 rm -rf $ISL_SOURCE_DIR
 mkdir -p $ISL_SOURCE_DIR
 tar -xf $DISTFILE --strip-components=1 --directory $ISL_SOURCE_DIR
-cp $TMPDIR/isl/isl-noexceptions.h $ISL_SOURCE_DIR/include/isl
+cp $TMPDIR/isl-noexceptions.h $ISL_SOURCE_DIR/include/isl
 
 rm -rf $TMPDIR