diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml
index 874324e4d..b5e1d6868 100644
--- a/.github/workflows/pyodide.yml
+++ b/.github/workflows/pyodide.yml
@@ -43,7 +43,7 @@ jobs:
          cd src/api/python 
          CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}" CXXFLAG="${CXXFLAGS}" ~/env/bin/pyodide build --exports whole_archive
       env:
-         CFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0 -g2 -s SAFE_HEAP=0 -s PTHREAD_POOL_SIZE=0 -s PTHREAD_POOL_SIZE_STRICT=0"
+         CFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0 -g2"
          LDFLAGS: "-fexceptions -s WASM_BIGINT"     
          CXXFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0"
          
diff --git a/src/api/python/setup.py b/src/api/python/setup.py
index 7b2ec6fbc..9590d78ce 100644
--- a/src/api/python/setup.py
+++ b/src/api/python/setup.py
@@ -135,7 +135,7 @@ def _configure_z3():
     cmake_options = {
         # Config Options
         'Z3_SINGLE_THREADED' : IS_SINGLE_THREADED,      # avoid solving features that use threads
-        'Z3_POLING_TIMER' : IS_SINGLE_THREADED,         # avoid using timer threads
+        'Z3_POLLING_TIMER' : IS_SINGLE_THREADED,         # avoid using timer threads
         'Z3_BUILD_PYTHON_BINDINGS' : True,
         # Build Options
         'CMAKE_BUILD_TYPE' : 'Release',