gnome-shell: Fixed toggle-switches for international setups