Como mencionado no meu comentário, eles fazem verificações e erros estranhos no Linux.
Algumas pesquisas pelo JavaScript encontram um bom URL: link - as URLs listado lá pode ser alimentado para VLC e jogar muito bem. O segundo a partir do topo chamado 'wstream' parece ser o que você está procurando.
- Abra o VLC
- pressione [ctrl-n] 'ou' Menu media , fluxo de rede aberto
- insira o URL: link (pelo menos é o que Eu recebo agora da lista acima)
- pressione play, aguarde
- …
- lucro!