Currently I'm using mplayerc to play realvideo files, but came across some old files it wouldn't play. Trying to update the codecs through RealPlayer itself just gives me a prompt to download the ...