diff --git a/server/bubblewrap.sh b/server/bubblewrap.sh
index 53ed95f..1d21183 100755
--- a/server/bubblewrap.sh
+++ b/server/bubblewrap.sh
@@ -26,6 +26,6 @@ ELAN_HOME=$(lake env printenv ELAN_HOME)
   --unshare-uts  \
   --unshare-cgroup \
   --die-with-parent \
-  --chdir "/lean4game/server/.lake/build/bin/" \
-  $3 --server /game
+  --chdir "/game/.lake/packages/GameServer/server/.lake/build/bin/" \
+  ./gameserver --server /game
 )
diff --git a/server/index.mjs b/server/index.mjs
index 4b78bb8..ed07215 100644
--- a/server/index.mjs
+++ b/server/index.mjs
@@ -106,11 +106,11 @@ function startServerProcess(owner, repo) {
     }
   } else {
     serverProcess =  cp.spawn("./bubblewrap.sh",
-      [ game_dir,
-        path.join(__dirname, '..'),
-        path.join(game_dir, ".lake", "packages", "GameServer", ".lake", "build", "bin", "gameserver")],
+      [ game_dir, path.join(__dirname, '..')],
       { cwd: __dirname })
   }
+
+
   serverProcess.on('error', error =>
     console.error(`Launching Lean Server failed: ${error}`)
   )