Added krb5 and gnome-initial-setup, and rebuild stock shared-mime-info