Temporary overlay containing gnome 3.10 stuff