Windows: improved batch file creation: @echo off, redirect stderr to sdtout