AVI codec bug fixed

libxvid now takes care of codec issues.