BMPをAVIにする方法見つけました

あ、もっとと楽な方法がありました。
EasyBMPのプラグインであるEasyBMPtoAVIを使えばあっさり出来ました。

http://sourceforge.net/projects/easybmptoavi/

EasyBMPとEasyBMPToAVIの最新zipを落としてきて、同じディレクトリに展開。あとはmakeするだけ。
あっさりビルドが完了します。おそらくプラットフォームに依存していないだろうなぁ。楽チン。

test00001.bmp->test00865.bmp のファイルが順にあったとして、

EasyBMPtoAVI -filebase test00 -start 1 -end 865 -framerate 33 -output out.avi 

とやればAVIのできあがり、あとはffmpegなりmencoderなりで適切なフォーマットにすることが出来ます。