update for GNOME 3.12 and 3.14