Да я его, оказывается, установил! Просто он в меню не как название, а как пояснение. Если запускать из терминала - можно и по названию запустить. Правда, нашел, вроде бы, способ обойти редактирование - записываю все с микрофона, а звук запустил с телевизора, то есть развел аппаратно