diff --git a/server/build.sh b/server/build.sh
index 23d310b..8152ee1 100755
--- a/server/build.sh
+++ b/server/build.sh
@@ -6,7 +6,6 @@ cd $(dirname $0)
 # Build elan image if not already present
 docker build --pull --rm -f elan.Dockerfile -t elan:latest .
 
-(cd leanserver && lake build)
 (cd testgame && lake build)
 docker rmi testgame:latest || true
 docker build --rm -f server.Dockerfile -t testgame:latest .
\ No newline at end of file
diff --git a/server/server.Dockerfile b/server/server.Dockerfile
index a9902c5..1ae5737 100644
--- a/server/server.Dockerfile
+++ b/server/server.Dockerfile
@@ -8,4 +8,6 @@ COPY testgame ./testgame
 # TODO: make `testgame` a build argument
 
 WORKDIR /leanserver
+RUN rm -f ./build/bin/gameserver
+RUN lake build
 CMD ["./build/bin/gameserver", "TestGame", "../testgame"]
\ No newline at end of file