Hopefully make it work for gnome-shell 3.8 and older