convert_file_encoding