Usando avconv para converter um gif animado para mp4 com som

Question

Eu quero converter um gif animado e um arquivo midi (música) em um vídeo mp4. É possível? Eu vi muitos tópicos sobre documentação, fóruns e sites de stackexchange, mas não encontrei.

Funciona com 1 JPEG e 1 WAV. Eu preciso de algo parecido com gif animado e arquivos midi.

fmpeg -f image2 -loop 1 -i image.jpg -i audio.wav \
-c:v libx264 -tune stillimage -c:a aac -strict experimental -b:a 192k -shortest out.mp4

Estou usando imagemagick para dividir gifs em jpegs ...

convert -coalesce -background white '/home/jonathan/Desktop/img.gif' JPEG:some%05d.jpg

Scripts são bem-vindos!

Obrigado!

UPDATE

Quase pronto:

$ sudo apt-get install imagemagick libmagickcore-dev libavcodec-extra-53 timidity lame

// extract images   
$ convert -coalesce -background white 'img.gif' JPEG:some%05d.jpg

// convert midi into mp3
$ timidity song.mid -Ow -o - | lame - -b 64 song.mp3

// makes mp4 file
$ ffmpeg -r 8 -f image2 -loop 1 -i some%05d.jpg -i song.mp3 -tune stillimage -strict experimental -b:a 192k -shortest out.mp4

Funciona, mas algumas cores estão erradas. Ainda procurando corrigi-lo.

UPDATE 2

Problema de cores incorretas acontece apenas no Movie Player (estou usando o Mint). No Banshee e nos outros jogadores, tudo bem!