lib/scripts/getsettings

 ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script"
 PATH="$ISABELLE_HOME/bin:$PATH"
 
 #platform
 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
-if [ -z "$ISABELLE_PLATFORM" ]; then
+if [ -z "$ISABELLE_PLATFORM32" -a -z "$ISABELLE_PLATFORM64" ]; then
   echo 1>&2 "Failed to determine hardware and operating system type!"
   exit 2
 fi
 
 #Isabelle distribution identifier -- filled in automatically!