File redirection works with pipelines