FWIW, I added `UTF8` encoding briefly, but it messed things up by injecting a (misinterpreted) BOM at the start of the file; whatever encoding it spits out works fine for WinPE, so whatever.  I don't care any more -- it can be whatever they default to and, frankly, this isn't going to run on mono anyhow, so....