It's actually encoded in XviD, but if you change both the 'FourCC Description Code' and 'FourCC Used Codec' to DIVX, it passes the validation check on that site. The extension gets renamed once the file is uploaded, so the best thing is to rename it back to avi.