Fix up branding files missing for gtk3 widget toolkit.