[#861] Explicitly use UTF-8 encoding