proper support for gnome-shell