compizconfig-settings-manager: команда не найдена

Когда я запускаю compizconfig-settings-manager, я получаю команду message not found, но apt-get говорит, что она установлена.

В поисках причины я обнаружил, что compizconfig-settings-manager был обновлен в последнем обновлении системы, в журнале написано "compizconfig-settings-manager:amd64 (0.9.5.92-0ubuntu3, 0.9.8+bzr3287-0linaro3)". Там (и также во многих других записях) появляется этот linaro, который, кажется, проблема. Потому что несколько дней назад я добавил хранилище:

sudo add-apt-repository ppa:linaro-maintainers/overlay

Теперь я хотел удалить его с

sudo add-apt-repository -r ppa:linaro-maintainers/overlay

Но это не удалось с сообщением (нет модуля с именем Linaro). Я нашел другой способ удалить этот репозиторий: я удалил файл для этого репозитория в /etc/apt/sources.list.d/

Я думал, что теперь могу просто сделать системное обновление, чтобы вернуть старые пакеты, но менеджер обновлений говорит, что все мои пакеты - самая новая версия. Так как я могу избавиться от этих linaro-пакетов?