Win32 ReadFile should respect the buffer size.