diff --git a/bench_env.sh b/bench_env.sh
index 068f600..0a1fb90 100644
--- a/bench_env.sh
+++ b/bench_env.sh
@@ -13,6 +13,13 @@ else
 fi
 
 # Set other environment variables and load cluster modules
+module load Bison
+module load CMake
+module load Cbc/2.10.5-foss-2020a
+module load flex
+module load Gecode/431520083a51fc2f31c22fbc7b0378e7a1588e42-GCCcore-9.3.0
+module load Gurobi/9.1.0
+
 cmake -S software/minizinc -B software/minizinc/build -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/
 cmake --build software/minizinc/build --config Release --target install
 cmake -S software/chuffed -B software/chuffed/build -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/
diff --git a/software/minizinc b/software/minizinc
index 43597a1..2557238 160000
--- a/software/minizinc
+++ b/software/minizinc
@@ -1 +1 @@
-Subproject commit 43597a1dfadae8af974f14c773fa4bf62588a3c7
+Subproject commit 255723899679cc6b634bfe468ebb05d5870ff857