installing new media player widget latest version. original one from nokia vanished. any body know how to get media player from apt-get.