Support unicode file names

Pass through Unicode file names to Python's io.file, which should do the right thing with matching the encoding to the platform's file name encoding.