AVI files ripped using version 9.1.7.4 don't play very well on my Android devices-very jerky with lots of pauses. Downloaded 9.1.3.1 from oldversions...