DivX codec is fine for installation, as long as you download it from the official site. If you get it from somewhere else, it’s possible that you’ll be downloading malware. However, if you want to sidestep codecs altogether, you can simply download Elmedia Player. It lets you play a huge range of files, including DivX, without any need for codecs.