actually fix json dictionary manger on android

manifest.json

@@ -1,7 +1,7 @@
 {
     "manifest_version": 2,
     "name": "nazeka",
-    "version": "0.3.1",
+    "version": "0.3.2",
     "author": "Wareya",
     "homepage_url": "https://github.com/wareya/nazeka",
     "description": "A rikai replacement.",

options.js

@@ -23,7 +23,6 @@ async function get_real_platform()
     }
     platform = my_platform;
 }
-get_real_platform();
 
 let settings = [];
 
@@ -517,7 +516,7 @@ function removeListeners()
     }
 }
 
-function buildpage()
+async function buildpage()
 {
     let optionsection = document.querySelector("#optionsection");
     for(let option of settings)
@@ -614,6 +613,9 @@ function buildpage()
         optionsection.appendChild(container);
     }
     
+    
+    await get_real_platform();
+    
     if(platform != "android")
     {
         // mining