Yo desde hace un tiempo que busco lo mismo, y todo lo que encuentro es
como usar el ffmpeg para convertirlo, pero que pasa cuando no tengo las
librerías para verlo? desde google no encontré ninguna, menos con el
apt-cache search.
Aviso que tengo todos los codecs instalados de debian, más los que
encontré en la página de mplayer (los cuales usé para luego compilarlo).
Me da la impresión de que para las versiones muy recientes de flash, el
ffmpeg no tiene idea de que se está reproduciendo, y con algo de suerte
podemos escuchar solo el audio de éste.