type_utf8to16.cmd: renamed from type_utf16.cmd (too fuzzy), command is now using stdin