Coqide 8.5: Keine Syntaxhervorhebung unter Linux

Ich habe Coqide 8.5 mit @ installiernix. Leider ist der Text in allen Panels blakc; Es gibt keinerlei Syntaxhervorhebung (ansonsten scheint 8.5 eine große Verbesserung gegenüber 8.4 zu sein, die ich ebenfalls installiert habe). Ich bekomme auch ...