diff -r c5b3860d29ef -r b6dacf6eabe3 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Wed Nov 28 15:38:18 2018 +0100
+++ b/src/Pure/Admin/build_history.scala	Wed Nov 28 16:14:31 2018 +0100
@@ -246,7 +246,7 @@
       val build_end = Date.now()
 
       val build_info: Build_Log.Build_Info =
-        Build_Log.Log_File(log_path.base_name, build_result.out_lines).
+        Build_Log.Log_File(log_path.file_name, build_result.out_lines).
           parse_build_info(ml_statistics = true)
 
 
@@ -587,7 +587,7 @@
         val log = Path.explode(line)
         val bytes = ssh.read_bytes(log)
         ssh.rm(log)
-        (log.base_name, bytes)
+        (log.file_name, bytes)
       }
     })
   }