Works fine with gnome shell 3.12