#
#
# patch "tester.cc"
#  from [c239f0a68a60e3bbafe6f9d5fff89f46ceeb9bb7]
#    to [784e73cacdfaf6ec8f19ebdfd3c65ec3a9331612]
#
============================================================
--- tester.cc	c239f0a68a60e3bbafe6f9d5fff89f46ceeb9bb7
+++ tester.cc	784e73cacdfaf6ec8f19ebdfd3c65ec3a9331612
@@ -92,7 +92,7 @@ time_t get_last_write_time(string const 
   E(GetFileTime(h, NULL, NULL, &ft),
     F("GetFileTime(%s) failed: %s") % name % os_strerror(GetLastError()));
 
-  CloseFile(h);
+  CloseHandle(h);
 
   // A FILETIME is a 64-bit quantity (represented as a pair of DWORDs)
   // representing the number of 100-nanosecond intervals elapsed since