Recently I watched this video.
http://nat.org/demos/gtksharp.html

The problem was I couldn't move the movie forward or backward...
Very annoying.

So I had to convert the swf into a avi/flv video.

I downloaded the video
Code:
wget http://nat.org/demos/gtksharp.swf
Searched for edit.py in the package pyvnc2swf
Code:
apt-get install pyvnc2swf
apt-file search edit.py
pyvnc2swf: /usr/share/pyvnc2swf/edit.py
With which I could easily convert the .swf file into a .flv file
Code:
/usr/share/pyvnc2swf/edit.py -o output.flv gtksharp.swf

From that point on, one can use ffmpeg to convert the flv movie into any popular video format, e.g. avi
Code:
ffmpeg -i output.flv output.avi