Port to Gnome 3.12

Needed changes for the search system