According to Synaptic I have a n encoder called libgmp3 on my system. I ran 'sudo apt-get install libgmp3' - now what? how do i use it? Apparently its an mp3 encoder. Nicholas