These video files are XVID encoded and therefore require the XVID coded to be played. XviD is very similar to the older DivX codec but is considered better.

XVID is an high quality open-source MPEG-4 video codec. Codecs are used to compress multimedia files (video/audio) to reduce file size and increase data transmission speeds.