I love my new x86_64 system, but I have one problem. I can't find any players for realaudio or wma, which are the two formats used by almost all streaming servers I want to listen to. I have a helix player, but all it does is segfault. I tried building mplayer, but it thinks x86_64 doesn't support those formats. Any ideas?