let channel_of_file = Rss_io.channel_of_file