diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index f4fca6f..30b038b 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -13,7 +13,7 @@
   "overrideCommand": true,
   "onCreateCommand": {
     "npm_install": "(cd ~/lean4game && npm install)",
-    "lake_build": "(cd ~/game && lake update -R && lake build)"
+    "lake_build": "(cd ~/game && lake clean -R && lake build)"
   },
   "postStartCommand": "cd ~/lean4game && export VITE_LEAN4GAME_SINGLE=true && npm start",
   "customizations": {
diff --git a/lake-manifest.json b/lake-manifest.json
index bf2d287..fa2d501 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -13,7 +13,7 @@
   {"url": "https://github.com/leanprover-community/lean4game.git",
    "type": "git",
    "subDir": "server",
-   "rev": "07b6525c5807436ed58ba4a3b399e694434f69d5",
+   "rev": "8851cd8b1f795e7701179d9b3568e52fc6729824",
    "name": "GameServer",
    "manifestFile": "lake-manifest.json",
    "inputRev": "v4.3.0-rc2",