PlayStation 3 gets DivX