Recently I watched this video.
The problem was I couldn't move the movie forward or backward...
So I had to convert the swf into a avi/flv video.
I downloaded the video
Searched for edit.py in the package pyvnc2swf
With which I could easily convert the .swf file into a .flv file
apt-get install pyvnc2swf
apt-file search edit.py
/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
ffmpeg -i output.flv output.avi