Don't need to mess with $stdout when redirecting