/etc/gnome/mime-magic, /etc/gnome/paper.config, /etc/gnome/sound/events/gnome.soundlist and /etc/gnome/sound/events/gtk-events.soundlist &library-config;