Hello. Was having problems making an avi file tonight when I found numerous mentions of the "double codec" - "double file type listing" issue here.  I seem to have this (each type/format is listed twice AVI...AVI...DivX...DivX..).  In all cases the first entry does nothing, while the second actually "makes" the file.  Drove me crazy for about an hour before I found this out.

Anyone nail down an extact cause or resolution to this problem?