Hello there I'm looking for a divx player for powerpc debian linux. should i try mplayer? I get the impression that divx decoders are only available in binary i386 form - is this correct? cheers matthew