kde tex kile https://bugs.kde.org/