clarified directory names (e.g. for multi-platform remote execution): avoid being deleted via isabelle.Components.purge;
# -*- shell-script -*- :mode=shellscript:
ISABELLE_BASH_PROCESS_HOME="$COMPONENT"
ISABELLE_BASH_PROCESS="$ISABELLE_BASH_PROCESS_HOME/platform_${ISABELLE_PLATFORM64}/bash_process"