Use UTF-8 codec when writing INI files in Preferences