O VLC pronto para uso no Mint não parece gostar de WMVs. Descobri que instalar os pacotes ubuntu-restricted-addons
e ubuntu-restricted-extras
ajuda bastante e torna os saltos em vídeos muito mais rápidos.
Existem outros pacotes xx-restricted-addons
e xx-restricted-extras
para o kubuntu e o xubuntu que podem ajudar também, mas são as versões do "ubuntu" que fizeram o truque para mim.