Fixed #1838 "doc" tool doesn't generate UTF-8 on Windows when told to do
so