Realplayer / Mplayer plugins on 64 bit firefox/mozilla