Convertire swf in gif animata

Ciao, qualcuno conosce un programma free che funzioni su Linux (io uso Debian) che permetta di convertire i file .swf in gif animate??
Grazie mille, ciaooooooooooooo

http://www.swftools.org/
Credo che con swfextract tu possa ricavarti le immagini e poi costruire la gif a partire da quelle