AviSplitter: more linear reading for "good" interleaved AVI files, cosmetics.