don't special-case ubuntu 13.10 for gnome keyboard layout settings