src/Pure/Admin/build_history.scala

             "build " + Bash.strings(build_args1 ::: afp_sessions), redirect = true, echo = true,
             strict = false)
       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)
 
 
       /* output log */
 

       for (line <- split_lines(ssh.read(output_file)))
       yield {
         val log = Path.explode(line)
         val bytes = ssh.read_bytes(log)
         ssh.rm(log)
-        (log.base_name, bytes)
+        (log.file_name, bytes)
       }
     })
   }
 }