on Windows. This is yet another manifestation of the problem that Windows
returns time zone names that may be in a different encoding than we are using.
I've put a better solution in HEAD, but the back branches need a simple patch.
Per report from Hiroshi Saito.
static char buf[128];
strftime(buf, sizeof(buf),
+ /* Win32 timezone names are too long so don't print them */
+#ifndef WIN32
"%Y-%m-%d %H:%M:%S %Z",
+#else
+ "%Y-%m-%d %H:%M:%S",
+#endif
localtime(&tnow));
return buf;