Tanto per cambiare, ho sbagliato a fare qualcosa...
Prima di tutto ho rimosso Realplayer che era già installato, poi nel reinstallarlo ho dato come cartella di destinazione
/usr/lib invece che
/usr/lib/RealPlayer10.
Risultato: si è mischiato tutto! E' grave?
E' possibile cancellare i file figli dell'installazione di realplayer? Cioè, con una riga di comando che faccia più o meno tutto da sola?
PS: in verità, la prima volta che ho installato realplayer, l'ho fatto con Automatix. Ora l'ho rifatto scaricando il file.bin