Esatto, infatti è proprio il decoder che non se ne va...
Accedevo ai codec video dal pannello di controllo, rimuovevo il decoder, riaprivo la finestra ed era ancora lì!
Ho provato a cancellare divxdec.ax, ma nel sistema i filmati xvid continuavano ad essere associati al codec divx... allora sono passato alla forza
brutta come dice Spyto
Vabbè, la prossima volta vorrà dire che divx non lo installo neanche e faccio tutto con xvid che ormai è diventato un codec maturo.