Added some Gnome 3.10 files