Oips, looks like my post didn't help much

Well, if you don't want to install realplayer I suppose you have to dig the web for the patch. Unless someone here has a location of course.

BTW, you can apt-get realplayer from marillat, or am I wrong again.....?