Díky za odpověď.
Mám to na Windows 10. Potřebuji jen jednoduchý střih a dosud jsem používal AviDemux.
Bohužel v mé instalaci není aOk. Přesněji, nikde jsem to tam nenašel jako možnost ke zvolení.

Jako Cíl tam je MP4 (h.264) a profil videa byl po instalaci střižny předdefinovaný HDV 720 24p (1280x720). Předpokládám, že pro u nás používaný PAL patří 25fps a tak jsem to zkusil změnit na HD(bez V) 720p 25fps (1280x720) vysoká kvalita (datový tok je 15.00 Mb/s). Velikost výstupního videa je teď ještě o krapet vyšší. Nevím, jaká je zde rozdíl mezi HDV a HD.