--- a/src/Pure/Admin/jenkins.scala	Tue Jan 03 15:32:54 2023 +0100
+++ b/src/Pure/Admin/jenkins.scala	Tue Jan 03 15:42:25 2023 +0100
@@ -101,7 +101,7 @@
       val log_path = log_dir + log_filename.xz
 
       if (!log_path.is_file) {
-        progress.echo(log_path.expand.implode)
+        progress.echo(File.standard_path(log_path))
         Isabelle_System.make_directory(log_dir)
 
         val ml_statistics =