diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 660ecac774..856e6c7421 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -424,7 +424,7 @@ add_subdirectory(emacs)
 function(add_exec_test name tgt)
     if(${EMSCRIPTEN})
         target_link_libraries(${tgt} "--memory-init-file 0")
-        add_test(NAME ${name} COMMAND node ${CMAKE_CURRENT_BINARY_DIR}/${tgt}.js)
+        add_test(NAME ${name} COMMAND ${NODE_JS} ${CMAKE_CURRENT_BINARY_DIR}/${tgt}.js)
     else()
         add_test(NAME ${name} COMMAND ${CMAKE_CURRENT_BINARY_DIR}/${tgt})
     endif()
diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
index ee0e72a2ea..206d0b73bb 100644
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -8,8 +8,10 @@ target_link_libraries(lean_js leanstatic)
 add_library(shell_js OBJECT lean_js.cpp server.cpp leandoc.cpp)
 
 if(${EMSCRIPTEN})
+    set(NODE_JS "node --stack_size=8192")
+
     file(WRITE ${CMAKE_CURRENT_BINARY_DIR}/lean_with_path
-            "#!/bin/sh\nLEAN_PATH=${CMAKE_CURRENT_SOURCE_DIR}/../../library node ${CMAKE_CURRENT_BINARY_DIR}/lean.js \"$@\"\n")
+            "#!/bin/sh\nLEAN_PATH=${CMAKE_CURRENT_SOURCE_DIR}/../../library ${NODE_JS} ${CMAKE_CURRENT_BINARY_DIR}/lean.js \"$@\"\n")
     execute_process(COMMAND chmod +x ${CMAKE_CURRENT_BINARY_DIR}/lean_with_path)
 
     ADD_CUSTOM_COMMAND(TARGET lean
@@ -19,7 +21,7 @@ if(${EMSCRIPTEN})
         )
 
     file(WRITE ${CMAKE_CURRENT_BINARY_DIR}/lean
-            "#!/bin/sh\nnode ${CMAKE_CURRENT_BINARY_DIR}/lean.js \"$@\"\n")
+            "#!/bin/sh\n${NODE_JS} ${CMAKE_CURRENT_BINARY_DIR}/lean.js \"$@\"\n")
     execute_process(COMMAND chmod +x ${CMAKE_CURRENT_BINARY_DIR}/lean)
 
     # legacy code for mkleanbook