Added <encoding> argument to io.readFiles