качай на что угодно (ну ладно, не старее 2000-го года - иначе конвертить слишком долго будет), дальше ffmpeg'ом по файлам чтобы размер пожать и вперёд.
Просто кидаешь баш-скрипт в папку и запускаешь, он сам тебе всё пожмёт. Можешь сам нагуглить, могу тебе сварганить, штука элементарная.