change the file's encoding to UTF-8