Io invece uso GXine e funziona piuttosto bene.

I codec vecchi si trovano anche sul sito di mplayer