Write stdout to stdout, not stderr

This way we can easily redirect stdout and stderr separately.