Unicode read/write of files, thanks to open() from codecs