Implement redirection from file to stdin