set default_external "UTF-8"