Converterndo 3GP para MP3

Hoje tive um problema. Precisava converter audios em 3GP, gravados no celular para o MP3, para editá-los no Audacity. No Ubuntu com o comando abaixo não funcionava:

ffmpeg -i audio.3gp -acodec mp3 -ab 128k pt01.mp3

Então ditiei o seguinte comando para descobrir o codec do mp3 e verifiquei que no Ubuntu o mesmo tinha outro nome:

ffmpeg -codecs | grep mp3
EA    libmp3lame      libmp3lame MP3 (MPEG audio layer 3)


ffmpeg -i audio.3gp -acodec libmp3lame -ab 128k pt01.mp3


Assim consegui realizar a conversão ;D