Modifications to handle Gnome 3.12.