Adjust gnome-3.10 use