diff -r 7621a3b42ce7 -r 9444489766a1 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Fri Jun 27 00:21:11 2014 +0100
+++ b/lib/scripts/getsettings	Fri Jun 27 11:30:42 2014 +0200
@@ -16,6 +16,11 @@
   function tar() { /usr/bin/gnutar "$@"; }
 fi
 
+#sane environment defaults (notably on Mac OS X)
+if [ "$ISABELLE_APP" = true -a -x /usr/libexec/path_helper ]; then
+  eval $(/usr/libexec/path_helper -s)
+fi
+
 #Cygwin vs. POSIX
 if [ "$OSTYPE" = cygwin ]
 then