Apply deja-vu patch to gnome-shell-3.10.2.1 on siegeengine