Which video player/codec pack do you recommend? I just grabbed VLC and Mplayer, and VLC worked better, while Mplayer crashed on some divX. How does one relate windoze codec packs to codecs in Linux?