removed obsolete created_temp_dir: ISABELLE_TMP is always present for the running Isabelle/ML process;