Приложение для создания видео из файла MP3 и GIF-изображений?

Есть ли приложение, которое позволяет мне создавать видео из файла MP3 (как аудиопоток) и одну или несколько фотографий, таких как GIF, PNG, JPG (анимированные или нет)?

До сих пор я нашел Pitivi, который, кажется, выполняет работу, однако видео всегда кажется довольно длинным … около 13 минут, чтобы быть конкретным. Kino, по-видимому, не позволяет вводить / импортировать MP3 или необработанные изображения, и Avidemux, похоже, не может создавать «новые» видео.

Приложение Windows тоже будет хорошо, если оно работает с вином и не берет деньги …

ОБНОВИТЬ:

Я пробовал PiTiVi, но, как упоминалось ранее, он продолжает добавлять дополнительные «тихие минуты» к полученному видео, которое обычно составляет от 13 минут до 13 минут.