普通のRealPlayerならAVIに対応してるし
ちゃんとRealのアイコンになるが。