diff -r a2548e708f03 -r d84b4d39bce1 bin/isabelle_process
--- a/bin/isabelle_process	Fri Oct 02 20:28:56 2015 +0200
+++ b/bin/isabelle_process	Fri Oct 02 23:22:49 2015 +0200
@@ -177,6 +177,7 @@
     ;;
   *)
     mkdir -p "$ISABELLE_OUTPUT"
+    chmod $(umask -S) "$ISABELLE_OUTPUT"
     OUTFILE="$ISABELLE_OUTPUT/$OUTPUT"
     ;;
 esac
@@ -188,6 +189,7 @@
 ISABELLE_PID="$$"
 ISABELLE_TMP="$ISABELLE_TMP_PREFIX$ISABELLE_PID"
 mkdir -p "$ISABELLE_TMP"
+chmod $(umask -S) "$ISABELLE_TMP"
 
 
 ## run it!