diff --git a/bin/install b/bin/install
index 83f4b544..78393f97 160000
--- a/bin/install
+++ b/bin/install
@@ -1 +1 @@
-Subproject commit 83f4b54408b30d4c9df4cb9549969f551b39f4c0
+Subproject commit 78393f97eed53f32b4df37af9f48e8500f4ae820
diff --git a/versions.properties b/versions.properties
index 492a8cc1..449a26a3 100644
--- a/versions.properties
+++ b/versions.properties
@@ -37,10 +37,10 @@ org.sireum.version.nik=23+38,24.1.0+1
 org.sireum.version.z3=4.13.4
 
 # Optional Applications
-org.sireum.version.checkstack=v6.12
+org.sireum.version.checkstack=v6.13
 org.sireum.version.cosmocc=4.0.2
 org.sireum.version.cosmos=4.0.2
-org.sireum.version.idea=2024.3.2
+org.sireum.version.idea=2024.3.2.1
 org.sireum.version.mill=0.12.5
 org.sireum.version.vscodium=1.96.4.25017