Это старая версия документа!
Установите пакет:
apt-get install i586-libgtk+2-devel.32bit
После чего загрузите последний вариант архива с расширением .tar.gz с сайта https://blackbox.oberon.org/download
Приятного использования!