gnome3 рабочий стол пуст (без панелей)

Я на Ubuntu 12.04 и с помощью GNOME 3. Сегодня утром после обновления и перезагрузки на рабочем столе больше не было панели. У меня есть два монитора, если это имеет значение. Я попытался удалить любые расширения gnome-shell (у меня есть gnome-shell-extension-prefs и gnome-shell-extension-tool), но он не смог найти какой-либо пакет этими именами. Я даже не уверен, что это причина, по которой панель исчезла, это произошло после обновления.