diff -r d9913b41a7bc -r 186e07be32c3 src/Pure/Tools/logo.scala
--- a/src/Pure/Tools/logo.scala	Tue Jan 03 15:32:54 2023 +0100
+++ b/src/Pure/Tools/logo.scala	Tue Jan 03 15:42:25 2023 +0100
@@ -23,7 +23,7 @@
       Isabelle_System.bash(
         "\"$ISABELLE_EPSTOPDF\" --filter < " + File.bash_path(tmp_file) +
           " > " + File.bash_path(output_file)).check
-      if (!quiet) Output.writeln(output_file.expand.implode)
+      if (!quiet) Output.writeln(File.standard_path(output_file))
     }
   }