Add System.IO.char8, the encoding used by openBinaryFile,