Change default from gnome 3.10 to gnome 3.12