Updated to support Gnome-shell 3.10.4