diff -r 7f6b2634d853 -r 95e2656b3b23 lib/Tools/install
--- a/lib/Tools/install	Sun Apr 06 16:36:28 2014 +0200
+++ b/lib/Tools/install	Sun Apr 06 16:59:41 2014 +0200
@@ -63,7 +63,7 @@
 
 mkdir -p "$BINDIR" || fail "Bad directory: \"$BINDIR\""
 
-for NAME in isabelle isabelle-process isabelle_scala_script
+for NAME in isabelle isabelle_process isabelle_scala_script
 do
   BIN="$BINDIR/$NAME"
   DIST="$DISTDIR/bin/$NAME"