update from official gnome-overlay