diff -r c13198575f75 -r b4f57bfe82e7 lib/Tools/console
--- a/lib/Tools/console	Sat Jul 17 23:09:54 2021 +0200
+++ b/lib/Tools/console	Sun Jul 18 12:48:31 2021 +0200
@@ -4,7 +4,7 @@
 #
 # DESCRIPTION: raw ML process (interactive mode)
 
-isabelle_scala_build || exit $?
+isabelle scala_build || exit $?
 
 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"