Make it work with Gnome Shell 3.8