diff --git a/.mill-jvm-opts b/.mill-jvm-opts
index e8d9149fc5..b28dfe06ac 100644
--- a/.mill-jvm-opts
+++ b/.mill-jvm-opts
@@ -1,2 +1,2 @@
--Xss32m
+-Xss128m
 -Xmx2G
diff --git a/mill-build/util/src/util/JavaModule.scala b/mill-build/util/src/util/JavaModule.scala
index c95faae830..849d427c83 100644
--- a/mill-build/util/src/util/JavaModule.scala
+++ b/mill-build/util/src/util/JavaModule.scala
@@ -6,7 +6,7 @@ import scalalib.{JavaModule => BaseJavaModule}
 trait JavaModule extends BaseJavaModule {
   // https://github.com/viperproject/silicon/issues/748
   // 32MB is enough stack space for silicon, a 100% marco guarantee
-  override def forkArgs = Seq("-Xmx2G", "-Xss32m")
+  override def forkArgs = Seq("-Xmx2G", "-Xss128m")
 
   def classPathFileElements = T { runClasspath().map(_.path.toString) }