diff --git a/Admin/polyml/settings b/Admin/polyml/settings
--- a/Admin/polyml/settings
+++ b/Admin/polyml/settings
@@ -1,19 +1,19 @@
 # -*- shell-script -*- :mode=shellscript:
 
 POLYML_HOME="$COMPONENT"
 
 ML_PLATFORM="${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_PLATFORM64}}"
 
 if grep "ML_system_64.*=.*true" "$ISABELLE_HOME_USER/etc/preferences" >/dev/null 2>/dev/null
 then
   ML_OPTIONS="--minheap 1000"
 else
-  ML_PLATFORM="${ML_PLATFORM/x86_64/x86_64_32}"
+  ML_PLATFORM="${ML_PLATFORM/64/64_32}"
   ML_OPTIONS="--minheap 500"
 fi
 
 ML_SYSTEM=polyml-5.9
 ML_HOME="$POLYML_HOME/$ML_PLATFORM"
 ML_SOURCES="$POLYML_HOME/src"
 
 ISABELLE_DOCS_EXAMPLES="$ISABELLE_DOCS_EXAMPLES:\$ML_SOURCES/ROOT.ML"