I'm looking for a free Linux tool that can convert a rather large collection of FLV files into MP3 format. Most of the tools I've tried use ffmpeg under the hood, but they fail to convert many of the files, all passing up the error message from ffmpeg:
[flv @ 0xb7f32388]Unsupported video codec (7)
I've tried importing the FLV files into various other tools (iTunes, Audacity, Pitivi) but none of them work. The odd thing is that the Totem movie player plays them just fine... but it does not feature a way to extract the sound of a movie.
What tools can you recommend?