make it usable in gnome-shell 3.10