cinnamon settings: Set encoding globally to UTF-8