Ce qu'il fallait comprendre par "pas encore prêt", je crois, c'est tout simplement que la fonction pour enregistrer en *.avi n'était pas encore prête ^^
En gros peter bone (le créateur de pivot, pour les incultes) n'a juste pas eu le temps d'installer cette fonction, donc si elle ne fonctionne pas rassure-toi ce n'est pas un bug.
Mais bon, comme dit plus haut il existe divers moyens pour contourner le problème. Tu n'as qu'à faire un montage vidéo en important tes gifs dedans grâce à un logiciel tel que windows movie maker (même si j'avoue ne pas être sûr que ce soit possible) ou encore convertir tes gifs en *.avi (ça par contre c'est possible, tu n'as qu'à chercher sur google).