Coqide 8.5: Nenhuma sintaxe destacada no Linux

Eu instalei o Coqide 8.5 comnix. Infelizmente, o texto está em branco em todos os painéis; não há realce de sintaxe de qualquer tipo (caso contrário, o 8.5 parece uma grande melhoria em relação ao 8.4, que eu instalei também). Eu também recebo o ...