GNOME Shell 3.10 compat