realplayer non è proprio linux
è stata fatta una versione per linux ma con linux a poco a che fare

certi formati proprietari non li puo includere se non in quello a pagamento per windows credo

usa mplayer o xine-ui che lo consentono diceva