FFmpeg now has VP5/VP6 decoding (flash uses special variant with codec id VP6F in ffmpeg ... this isn't used in VLC yet)