а по нету нигде не лежит?
щас Divx новый появился 5.2. ... какой то там, он в этом сборнике наверное должен быть.