Is mplayer available for F9? If not, what mpg player is used instead? Do any players work without KDE? Thanks.