diff --git a/server/bubblewrap.sh b/server/bubblewrap.sh
index 7d3f10e..ce0d585 100755
--- a/server/bubblewrap.sh
+++ b/server/bubblewrap.sh
@@ -4,7 +4,7 @@ ELAN_HOME=$(lake env printenv ELAN_HOME)
 
 (exec bwrap\
   --ro-bind ../../lean4game /lean4game \
-  --ro-bind ../../$1 /game \
+  --ro-bind $1 /game \
   --ro-bind $ELAN_HOME /elan \
   --ro-bind /usr /usr \
   --dev /dev \