んー、mplayer入れてみたけど、そんなにいいとも感じないな。
avifile-playerのほうが、シークバーもあるし右クリックでサイズをずんずん
変えられるしで、扱いやすいように思えるんだが。
どのへんが利点なんだろう。

ちなみにdebian(sid)だと、

# apt-cache search avifile --names-only | awk '{print $1}' | xargs apt-get install -y

で、ほぼすべて見れるようになるのにはびっくりした。今の所負け無し。
ハードウェアコーデックのMjpegすら見れたのは心底驚いたなあ。