Fix encodings on some source files and confirm by compiling as UTF-8