Плагин для внешних инструментов Kate

Я установил Kate Editor (с KWrite, который устанавливает некоторые плагины), и я только что понял, что плагин Kate External Tools отсутствует с версии 4.8. Мне действительно нужен этот плагин, и если бы кто-нибудь мог показать мне, где найти более старую версию Kate или даже сам плагин, я бы очень признателен этому.

EDIT: Кстати, я нашел на этой веб-странице плагин, но (мой уровень Linux средний) я не могу его установить: когда я добираюсь до команды make, я получаю следующая ошибка:

[ 88%] Building CXX object CMakeFiles/kateexternaltoolsplugin.dir/kate_externaltools_plugin.o In file included from /home/nybble/kate-plugin-externaltools/kate_externaltools_plugin.cpp:3:0: /home/nybble/kate-plugin-externaltools/kate_externaltools_plugin.h:6:25: fatal error: kate/plugin.h: No such file or directory #include <kate/plugin.h> ^ compilation terminated. CMakeFiles/kateexternaltoolsplugin.dir/build.make:179: recipe for target 'CMakeFiles/kateexternaltoolsplugin.dir/kate_externaltools_plugin.o' failed make[2]: *** [CMakeFiles/kateexternaltoolsplugin.dir/kate_externaltools_plugin.o] Error 1 CMakeFiles/Makefile2:60: recipe for target 'CMakeFiles/kateexternaltoolsplugin.dir/all' failed make[1]: *** [CMakeFiles/kateexternaltoolsplugin.dir/all] Error 2 Makefile:127: recipe for target 'all' failed make: *** [all] Error 2

Спасибо заранее!