diff --git a/.gitmodules b/.gitmodules
index cf8c41bffee40150983e64ce2208936887a7c205..98ceb36f17d8f792b35d5c507a513c9e999328a4 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -3,4 +3,4 @@
 	url = git://github.com/inducer/isl-mirror
 [submodule "bpl-subset"]
 	path = bpl-subset
-	url = git://github.com/inducer/bpl-subset
+	url = git://repo.or.cz/isl.git
diff --git a/isl b/isl
index b0ac3f9d87cc1393fa416df2a1cf122a6be58c7b..1b3ba3b72c0482fd36bf0b4a1186a259f7bafeed 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit b0ac3f9d87cc1393fa416df2a1cf122a6be58c7b
+Subproject commit 1b3ba3b72c0482fd36bf0b4a1186a259f7bafeed