I have a couple of avi-files that have no sound when I play them, and G-spot suggests that there's a conflict with the DivX 3 audio codec (se attached image) but as far as I can see, that codec is not even installed on my machine. Anyone have a clue how I can solve this problem?