Use file encoding for the arguments to `run-program`
program and all the command-line args given to
run-program are expected to be latin1. And in fact
string-list-to-c-strvec just lops off the high byte of the string characters.
Perhaps we should convert our utf-16 strings to utf-8 before creating the C argv vector.