hmm.. are you using mplayer or the default player? i find that mplayer itself (without a frontend like kmplayer or mediabox) can play any avi file i throw at it.. even the popular dvd rip files..
Mplayer can decode videos at reduced resolution, which improves performance.