add Gnome 3.12 warning