Gente sei que no KDE é padrão usar o KDEnlive e eu estou aqui metido a besta, pois, nem sei direito o que é esse negócio de renderizar, mas gravar vídeos, inteiros ou em pedaços em .avi, .mkv, et., etc., uma alternativa que acho bem mais moderna e de fácil uso é o OpenShot.
Desculpem a intromissão e é apenas uma simplória sugestão.
Boa sorte!
T+