Or the DivX installation-file you used was corrupted?
Unless you downloaded (free version
http://download.divx.com/divx/DivX51Bundle.exe) it again when you installed it the second time (and didn't again use the file earlier downloaded installation file)