Update to be compatible with GNOME Shell 3.10 API changes