diff --git a/Makefile b/Makefile
index 5382cafb..e03671c2 100644
--- a/Makefile
+++ b/Makefile
@@ -19,12 +19,12 @@ default: deps
 clean:
 	rm -fdR out/* evm-semantics
 	git submodule sync --recursive
-	git submodule update --init evm-semantics
+	git submodule update --init --recursive evm-semantics
 
 deps: deps-kevm deps-npm
 
 deps-kevm:
-	git submodule update --init evm-semantics
+	git submodule update --init --recursive evm-semantics
 	cd evm-semantics \
 		&& make k-deps tangle-deps -B \
 		&& make build-java -B
diff --git a/evm-semantics b/evm-semantics
index 0bbee05f..1958128c 160000
--- a/evm-semantics
+++ b/evm-semantics
@@ -1 +1 @@
-Subproject commit 0bbee05fb3ce15e3313604ed3679e2c08d8e4c35
+Subproject commit 1958128c17a82821bd090083b4e91bf6ac70aa95
diff --git a/shell.nix b/shell.nix
index c68e2a6c..7031d113 100644
--- a/shell.nix
+++ b/shell.nix
@@ -36,6 +36,7 @@ pkgs.stdenv.mkDerivation {
     time
     unzip
     wget
+    which
     z3
     zstd
   ];