gnome-shell: slow logins?