Don't flush stdout.