ついでにrealplayerも更新しといた

realplayer 11が出てることに気づいてなかったので、rpmを落としてきてalienしといた。rpmのscriptletを見る限り特に問題になりそうな感じはなかったので、

$ fakeroot alien --scripts RealPlayer11GOLD.rpm
$ sudo dpkg -i realplayer_11.0.0.4028-20080226_i386.deb

でそのままdebにしてインスコ。