diff --git a/pandamonium-theorem-prover/persistence/build.gradle b/pandamonium-theorem-prover/persistence/build.gradle
index 6542df6..17d840c 100644
--- a/pandamonium-theorem-prover/persistence/build.gradle
+++ b/pandamonium-theorem-prover/persistence/build.gradle
@@ -48,6 +48,6 @@ task loadDb(type: Exec, group: 'Verification', description: 'Reloads the local d
         commandLine './loaddb.sh'
     } else {
         workingDir "./scripts/mysql"
-        commandLine 'loaddb.bat'
+        commandLine=['cmd','/c','loaddb.bat']
     }
 }
diff --git a/pandamonium-theorem-prover/persistence/scripts/mysql/loaddb.bat b/pandamonium-theorem-prover/persistence/scripts/mysql/loaddb.bat
index 37c4da6..6a923cb 100644
--- a/pandamonium-theorem-prover/persistence/scripts/mysql/loaddb.bat
+++ b/pandamonium-theorem-prover/persistence/scripts/mysql/loaddb.bat
@@ -1,5 +1,5 @@
-SET MYSQL_PWD=secret
-FOR /R %%s IN (.\*.sql) do (
+set mysql_pwd = secret
+FOR /R %%s IN (*.sql) do (
     echo **** %%s ****
-    echo mysql --batch --quick --raw --line-numbers --force --user=panda < %%s
+    mysql -u panda -psecret < %%s
 )