more explicit identification for more robust adhoc change of environment /home/isatest/.isabelle/etc/settings -- notably for $ISABELLE_PLATFORM64;
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.