GNOME updates for 8.1