Old version of realplayer video downloader