I would love have that! However it could be a little more tricky than it seems: I recall that we couldn't do so because some Windows-only specific issue with stdout, so we ended up to write in a file instead stdout.
So, leave it, but let's be sure that everything will works just fine on Windows (probably @warner knows more about it).