There was a swf extraction program that extracted sound from swf files. I know it works, but can't recall the name right now. A google search for swf extract linux should turn it up. A quick search reveals http://swftools.org which seems promissing.