Как я могу превратить последовательность изображений в видео, используя MPV?

У меня есть последовательность изображений jpg, которую я хотел бы превратить в файл фильма avi или mpeg. Я пытался установить mplayer / mencoder с помощью Macports, но он сказал мне, что он устарел и был заменен на mpv. Тем не менее, справочная страница для mpv не объясняет, как выполнить эту задачу, кодируя последовательность изображений в видео. Как я могу это сделать?

Изображения имеют вид yyyymmdd-hhmm.jpg (так что сортировка их в алфавитном порядке приводит их к правильному порядку), и их около 22000 - я хочу сделать видео с замедленной съемкой, а не слайд-шоу.

_{(Примечание: я также пытался использовать ImageMagick и ffmpeg, но конвертер, похоже, сначала хочет загрузить все изображения в память, тем самым блокируя мой компьютер и заставляя меня перезагрузиться, в то время как ffmpeg необъяснимым образом использует только первые 100 кадров или около того и затем останавливается, производя выходное видео, которое длится всего несколько секунд. Я также открыт для других предложений.)}