GNOME 3.12 fixes