lueneberg, obrigado pela dica; ela funcionou sim
. Mas, eu resolvi clicar no link que o Felix havia deixado, e isso me levou a alguns outros e encontrei um aplicativo próprio do GNOME (desculpa, KDE!) que se chama sound converter, e é só isso mesmo: ele converte um monte de formatos e um monte de músicas ao mesmo tempo pra MP3, OGG, FLAC, WAV, ou AAC (os dois primeiros dá pra escolher a bitrate, de 64 até 256, com modos constant, approximatelly e variable bitrate).
Enfim, obrigado a todos pela ajuda, mas vai aí a dica para quem quiser ou quem tiver o mesmo problema que eu.