     Int    i, tmp_log_fd, tmp_xml_fd;
     Int    toolname_len = VG_(strlen)(toolname);
     Char*  tmp_str;         // Used in a couple of places.
-@@ -514,9 +554,13 @@
+@@ -514,9 +570,13 @@
  
        else if VG_STR_CLO(arg, "--log-file", log_fsname_unexpanded) {
           log_to = VgLogTo_File;

 
    //--------------------------------------------------------------
    // Zeroise the millisecond counter by doing a first read of it.
@@ -1886,10 +1869,10 @@
    //   p: tl_pre_clo_init            [for 'VG_(details).name' and friends]
    //   p: main_process_cmd_line_options()
    //         [for VG_(clo_verbosity), VG_(clo_xml),

 
       if (VG_(clo_xml))
          VG_(printf_xml)("<preamble>\n");
@@ -1067,6 +1067,7 @@
    }
    else
    if (VG_(clo_xml)) {
