diff --git a/hadrian/src/Settings/Builders/Configure.hs b/hadrian/src/Settings/Builders/Configure.hs
index 6eb1233f1ebae26d08c464f49d6dbf79dc848726..bd6230efc476dc69ae2f8fc7116f1730add77af5 100644
--- a/hadrian/src/Settings/Builders/Configure.hs
+++ b/hadrian/src/Settings/Builders/Configure.hs
@@ -26,7 +26,7 @@ configureBuilderArgs = do
                      -- https://gmplib.org/manual/Build-Options for
                      -- more detailed explanation of this configure
                      -- option.
-                     <> [ "--enable-alloca=malloc-reentrant" | targetArch == "wasm32" ]
+                     <> [ "--enable-alloca=malloc-notreentrant" | targetArch == "wasm32" ]
                      -- Enable PIC unless target is wasm32, in which
                      -- case we don't want libgmp.a to be bloated due
                      -- to PIC overhead.