diff --git a/ci/sub b/ci/sub
index be28ce747..b3513e080 160000
--- a/ci/sub
+++ b/ci/sub
@@ -1 +1 @@
-Subproject commit be28ce747b280c59b8fe89e6b29bb0637984985d
+Subproject commit b3513e080db023620d5ce9532f0fb55293b13a3c
diff --git a/install.sh b/install.sh
index f564dd04e..af7f54d3a 100755
--- a/install.sh
+++ b/install.sh
@@ -739,7 +739,7 @@ is_prefix_writable() {
   # /usr/local owned by root but you don't need root to write to its subdirectories which
   # is all we want to do.
   if [ ! -w "$PREFIX/bin" ]; then
-    return 0
+    return 1
   fi
 }