Does anyone have experience with ripping CDs to MP3 on (debian) Linux? I tried GRIP and it works going to wav but won't encode the file to MP3 (giving an encoder configuration error). I have also tried JACK which will rip and encode to ogg but not to MP3. I then tired Ripper X but I only get a small MP3 file that is not playable. Any Ideas?