Flush stderr after write. stderr can be buffered under win32 when redirected to a file, including stdout.

removing b
nothing changed