あ、もっとと楽な方法がありました。EasyBMPのプラグインであるEasyBMPtoAVIを使えばあっさり出来ました。 http://sourceforge.net/projects/easybmptoavi/EasyBMPとEasyBMPToAVIの最新zipを落としてきて、同じディレクトリに展開。あとはmakeするだけ。あっ…