esiste un programma che converte .wav a .mp3 per linux? ho cercato su gogole ma nn ho trovato niente di utile..