Make divx my default media player