Use only 64-bit file IO on Windows
I believe that the 64-bit IO is supported on win32, so we can reduce the complexity of (windows/stdio.c and maybe other parts of the code).
I believe that the 64-bit IO is supported on win32, so we can reduce the complexity of (windows/stdio.c and maybe other parts of the code).