опять про злополучную панель Mate

Я установил себе сборку Linux mint 13 lazarus с mate-оболочкой, поcле чего обновил до 1.4-версии, стояла 1.2, и пропала панель.
Я пытался восстановить панель исходя из советов на форуме, на Alt+F1 и F2 не реагирует ничего, в терминалке вводил команду mate-panel, на что система не среагировала и последовал ответ в виде
mate-panel: symbol lookup error: mate-panel: undefined symbol: gtk_window_set_has_resize_grip,
gnome-panel - очевидно его нет, кроме mate никакого desktopa больше нет. Что посоветуете?
Заранее благодарен.

Пока нашлось вот это:
ubuntu devs dropped that function in latest gtk update in precise. currently, the only solution (for ubuntu precise) is to compile mate-panel without the ubuntu hack for resize grip.

а что это такое? Из написанного ничего не понял. Скорее всего, мне кажется, что надо переопределить параметры gtx в mate-config, только я не знаю где и что надо делать.