Rolling back to DivX5.2.1 would most probably also have done the trick.
And then there still is another possible trick as suggested by
Ico-man i.e. try using the internal AVI splitter. (Hold down SHIFT while clicking on 'Filter management' in preferences and check 'Use internal AVI splitter').
So it seems there are more solutions to choose from.