diff -r 8f7d802b7a71 -r 168f84f45730 Admin/polyml/settings
--- a/Admin/polyml/settings	Tue Sep 08 17:34:46 2015 +0200
+++ b/Admin/polyml/settings	Tue Sep 08 20:06:17 2015 +0200
@@ -40,6 +40,12 @@
 esac
 
 case "$ML_PLATFORM" in
+  x86_64-windows)
+    ML_OPTIONS="-H 1000 --codepage utf8"
+    ;;
+  x86-windows)
+    ML_OPTIONS="-H 500 --codepage utf8"
+    ;;
   x86_64-*)
     ML_OPTIONS="-H 1000"
     ;;