Short answer: use ffmpeg (I think a better name would help most people to understand - most people doesn't understand what ffmpeg is or why should be their alternative in this menu, probably something like "encoded video" would be much more easy to choose)
– m.arditoOct 21 '17 at 08:45