É o mozilla-plugin-vlc que está nos repositórios. (sudo apt-get install mozilla-plugin-vlc)
Flatac já que você já tem o mplayer, se você instalar o gecko-mediaplayer (sudo apt-get install gecko-mediaplayer) vai dar pra ouvir da própria página. Aqui funcionou perfeitamente, só não fica muito "bonitinho".