change to be compatible gnome-shell 3.8