Нет терминала в новом Linux Mint 18.1 Cinnamon (64-bit)

Я только что установил Linux Mint 18.1 Cinnamon. Я попробовал установить драйвер Nvidia (375) для своей карты GT750M, но это вызвало крах Cinnamon, поэтому теперь я использую драйвер xserver-noveau. Я также получил еще одну графическую карту Intel.

Все работает отлично, но теперь я не могу открыть терминал. Не с ярлыками, а не нажатием на значок. Он просто загружается, но не открывается. Что я могу сделать?

Я уверен, что он работал вскоре после установки, но я ничего не делал, кроме установки пакета meta-codex (и переключения драйверов туда и обратно). Установлен Gnome-терминал.

Linux и Unix - лучшая ОС в мире.