diff --git a/.github/workflows/build_example_web.yml b/.github/workflows/build_example_web.yml
index edadbad..9b329e7 100644
--- a/.github/workflows/build_example_web.yml
+++ b/.github/workflows/build_example_web.yml
@@ -61,6 +61,7 @@ jobs:
           cat dist/index.html > dist/404.html
           cp node_modules/z3-solver/build/z3-built.js dist/
           cp node_modules/z3-solver/build/z3-built.wasm dist/
+          cp node_modules/z3-solver/build/z3-built.worker.wasm dist/
           cp dist/static/enable-threads.js dist/.
 
       - name: Deploy to github pages
diff --git a/front/src/index.html b/front/src/index.html
index eb07ee7..6ef3e6c 100644
--- a/front/src/index.html
+++ b/front/src/index.html
@@ -11,7 +11,7 @@
     <script src="/static/hakim-json.js"></script>
 </body>
 
-<script src="z3-built.js"></script>
+<script src="/z3-built.js"></script>
 <script>
     globalThis.global = { initZ3: globalThis.initZ3 };
 </script>