updated for gnome 3.10. don't expect it to compile with old versions of Gtk.