merged

--- a/Admin/polyml/settings	Sun Nov 07 22:14:40 2021 +0000
+++ b/Admin/polyml/settings	Mon Nov 08 09:31:26 2021 +0000
@@ -8,7 +8,7 @@
 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