Flash nach ogg konvertieren?

Hallo, Wie oben gesagt, suche ich ein Programm, das aus Flash-Dateien den Sound irgendwie extrahieren kann. Ich habe dazu massenhaft Windows-Tools gefunden, jedoch kein einziges, das unter Linux läuft. Vielleicht habe ich auch nur die falschen Stichwörter (flash extract sound, und so) gehabt. Vielleicht muss man da ja den Umweg über mpeg-2 gehen, doch auch dafür finde ich kein Programm. Kann mir da jemand helfen? Vielen Dank im vorraus Gruß Sören PS: Ich meine, hier gab es schonmal einen Thread dieser Art (Konvertierung nach MPEG), aber leider finde ich ihn nicht mehr :-(