amr to mp3 with ffmpeg on linux