Update for GNOME Shell 3.10