DivX codec

Now I can watch DivX movies on my laptop.