GIFs animados comprimidos

Un poco de Google y encuentro esta utilidad para manipular GIFs.
Trivial de compilar en Cygwin:
./configure --disable-gifview
make
strip src/*.exe
make install


Sólo depende de la biblioteca estándar de C, así que también es trivial compilarlo para Windows:

make distclean
CC=gcc-3 CFLAGS=-mno-cygwin ./configure --disable-gifview
make
strip src/*.exe
make install


Y el comando mejorado para crear GIFs animados se queda en:

ffmpeg -i avión.wmv -r 10 -vframes 50 -f gif -pix_fmt rgb24 -s 80x60 - |gifsicle -O2 > avión.gif