diff --git a/src/build.sh b/src/build.sh
index c1bd67c90..c18f88436 100755
--- a/src/build.sh
+++ b/src/build.sh
@@ -267,7 +267,12 @@ build_tags () {
 
 build_doc () {
   feedback_low "Building gerbil hyperspec"
-  (cd "${GERBIL_BASE}/doc" && npm install && node_modules/vuepress/cli.js dev)
+  (## For now we only support old node v18 with this option.
+   ## TODO: update node support to a modern node with a modern SSL module.
+   export NODE_OPTIONS=--openssl-legacy-provider
+   cd "${GERBIL_BASE}/doc" &&
+   npm install &&
+   node_modules/vuepress/cli.js dev)
 }
 
 #===============================================================================
diff --git a/src/gambit b/src/gambit
index 24201248e..8b18ab695 160000
--- a/src/gambit
+++ b/src/gambit
@@ -1 +1 @@
-Subproject commit 24201248effa23d5017be4992b5b9879e4cd3a4c
+Subproject commit 8b18ab69504c2d41301f7fec16a5350db717a20e