diff -r 7bbd11360bd3 -r a231e6110f9b lib/scripts/getsettings
--- a/lib/scripts/getsettings	Sun Feb 13 08:47:36 2011 +0100
+++ b/lib/scripts/getsettings	Sun Feb 13 17:19:43 2011 +0100
@@ -28,7 +28,7 @@
 }
 
 #platform
-. "$ISABELLE_HOME/lib/scripts/isabelle-platform"
+source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
 
 #Isabelle distribution identifier -- filled in automatically!
 ISABELLE_ID=""
@@ -126,7 +126,7 @@
   esac
 
   if [ ! -d "$COMPONENT" ]; then
-    echo >&2 "Bad Isabelle component: \"$COMPONENT\""
+    echo >&2 "Missing Isabelle component directory: \"$COMPONENT\""
     exit 2
   elif [ -z "$ISABELLE_COMPONENTS" ]; then
     ISABELLE_COMPONENTS="$COMPONENT"