gnome-shell: faster alt tab popup patch