diff --git a/inox b/inox
index e1f86121b..516bf217f 160000
--- a/inox
+++ b/inox
@@ -1 +1 @@
-Subproject commit e1f86121b6487b53cbc8072c407067205d3b425b
+Subproject commit 516bf217f053996f73a13ce1b400af4551437e12
diff --git a/stainless-ci.sh b/stainless-ci.sh
index 50ceb0a74..62532d857 100755
--- a/stainless-ci.sh
+++ b/stainless-ci.sh
@@ -31,8 +31,6 @@ SKIP_TESTS=false
 ROOT_DIR=$PWD
 SBT_TEMP=$ROOT_DIR/sbt-temp
 mkdir -p $SBT_TEMP
-BLOODY_SOCKET_DIR=/var/tmp/stnlsci-$RANDOM
-export JAVA_OPTS="-Djava.io.tmpdir=$BLOODY_SOCKET_DIR"
 SBT_DIR=$ROOT_DIR/temp  # make better later
 SBT=${SBT_DIR}/sbt/bin/sbt 
 
@@ -162,7 +160,6 @@ fi
 if [ "$SKIP_BOLTS" = true ]; then
   echo "************** Skipping Bolts tests **************"
 else
-  unset JAVA_OPTS
   if [ -z "$BOLTS_DIR" ]; then
     bash bin/external-tests.sh --skip-build 
   else