diff --git a/apps/sokoban/app.js b/apps/sokoban/app.js
index b7d89d6ba..890156214 100644
--- a/apps/sokoban/app.js
+++ b/apps/sokoban/app.js
@@ -61,9 +61,9 @@ function next_map_offsets(filename, start_offset) {
 
 let config = s.readJSON("sokoban.json", true);
 if (config === undefined) {
-    let initial_offsets = next_map_offsets("Microban.sok", 0);
+    let initial_offsets = next_map_offsets("sokoban.microban.sok", 0);
     config = {
-        levels_sets: ["Microban.sok"], // all known files containing levels
+        levels_sets: ["sokoban.microban.sok"], // all known files containing levels
         levels_set: 0, // which set are we using ?
         current_maps: [0], // what is current map on each set ?
         offsets: [initial_offsets], // known offsets for each levels set (binary positions of maps in each file)
diff --git a/apps/sokoban/metadata.json b/apps/sokoban/metadata.json
index 7a4d5bc50..ef4a45f83 100644
--- a/apps/sokoban/metadata.json
+++ b/apps/sokoban/metadata.json
@@ -13,7 +13,7 @@
   "readme": "README.md",
   "storage": [
     {"name":"sokoban.app.js","url":"app.js"},
-    {"name":"Microban.sok", "url":"Microban.sok"},
+    {"name":"sokoban.microban.sok", "url":"sokoban.microban.sok"},
     {"name":"sokoban.img","url":"app-icon.js","evaluate":true}
   ],
   "data": [{"name":"sokoban.json"}
diff --git a/apps/sokoban/Microban.sok b/apps/sokoban/sokoban.microban.sok
similarity index 100%
rename from apps/sokoban/Microban.sok
rename to apps/sokoban/sokoban.microban.sok