Eu não chamaria isso de bug se eu entendesse sua pergunta corretamente. Alguns media players simplesmente não suportam todos os formatos. Alguns jogadores suportam os formatos A, B e C, enquanto outros C, D e E.
Seu problema é com codecs. Você pode baixar o pacote non-free-codecs que deve resolver o problema por
sudo apt-get install non-free-codecs
Se não funcionar, faça o download o seguinte também :
sudo apt-get install libxine1-ffmpeg gxine mencoder mpeg2dec vorbis-tools id3v2 mpg321 mpg123 libflac++6 ffmpeg libmp4v2-0 totem-mozilla icedax tagtool easytag id3tool lame nautilus-script-audio-convert libmad0 libjpeg-progs libmpcdec3 libquicktime1 flac faac faad sox ffmpeg2theora libmpeg2-4 uudeview flac libmpeg3-1 mpeg3-utils mpegdemux liba52-dev