Вместо dpkg -s можно использовать команду apt-cache show. Например:
apt-cache show PACKAGE
(источник)
Попробуйте запустить это в MATE:
sudo apt-get purge gnome-terminal; sudo apt-get update; sudo apt-get install gnome-terminal
Это приведет к удалению и очистке конфигураций, а затем переустановит последнюю версию.