part of the gnome-shell platform was not up to date