bumped to gnome-shell==3.10