Code

Win32 fix: set stdout to binary mode before writing a file to it