Кодек Vokoscreen VP9 в Debian 10 Buster

Kdenlive для Debian Buster позволяет мне выполнять рендеринг с использованием кодеков VP8 и VP9. Кроме того, я думаю, что Vokoscreen 3.0.8 для Win 10 позволяет мне записывать с помощью VP9. К сожалению, когда я устанавливаю Vokoscreen 2.5.0 в Debian Buster, я не вижу опции для кодека Google VP9 (см. рисунок):

Какой самый простой способ получить сжатие видео Google VP9 внутри Vokoscreen в Debian 10?