add comment to clarify Win32 setvbuf() behavior