std io redirection works