bump encoder-mp3 to gain better size optimization