don't buffer output to $stdout and STDOUT