Can anyone recommend a decent, free divx player.

I've tried others - divxplayer, Hyplay and gdivx but seem to behaving problems with all of them - ranging from jerkiness, sound playing before they 'speak', to certain files not playing at all.

cheers