enable for gnome shell 3.12