gnome3: add missing files