diff --git a/bin/install b/bin/install
index d20b0dc1..eb9b04e5 160000
--- a/bin/install
+++ b/bin/install
@@ -1 +1 @@
-Subproject commit d20b0dc1c254ceeebe3632e22e317439e4652281
+Subproject commit eb9b04e59eff5a86d267721fb69f30e432ab26fd
diff --git a/versions.properties b/versions.properties
index fd76cb41..d04caede 100644
--- a/versions.properties
+++ b/versions.properties
@@ -34,7 +34,7 @@ org.sireum.version.coursier=2.1.23
 org.sireum.version.forms=4.20250106.48601e9
 org.sireum.version.jacoco=0.8.12
 org.sireum.version.nik=23+38,24.1.0+1
-org.sireum.version.z3=4.13.3
+org.sireum.version.z3=4.13.4
 
 # Optional Applications
 org.sireum.version.checkstack=v6.12
@@ -42,7 +42,7 @@ org.sireum.version.cosmocc=4.0.2
 org.sireum.version.cosmos=4.0.2
 org.sireum.version.idea=2024.3.1.1
 org.sireum.version.mill=0.12.5
-org.sireum.version.vscodium=1.96.0.24347
+org.sireum.version.vscodium=1.96.2.24355
 
 # IntelliJ Plugins = isCommunity, isJar, updateVer
 org.sireum.version.plugin.antlr=true,false,614947
@@ -64,5 +64,5 @@ org.sireum.version.plugin.toml=true,false,630064
 org.sireum.version.plugin.zigbrains=true,false,656685
 
 # VSCodium Extensions
-org.sireum.version.vscodium.extension=4.20241212.2d4e20d
+org.sireum.version.vscodium.extension=4.20250108.4af6eaf
 org.sireum.version.vscodium.extension.syside=0.6.2