Choose stdout/stderr, even if we're not in pretty mode