I roll my own copy of mplayer using their supplied Debian packaging information. Works like a charm, and if you install it in a 32-bit chroot, you can use i386 only codecs. -- Ed