Use GetFileSize correctly on win32

(Use its second parameter to find the high 32 bits of the file size;
check its return value for error conditions.)