refer to explicit ISABELLE_DOT instead of implicit PATH;
more robust Isabelle_System.with_tmp_file;
output to singleton file within $ISABELLE_HOME_USER;
tuned;