This may not directly answer your question, but... What I do is
open a final mix in a basic WAV editor (Sound Forge, Audition, Audacity (uh oh, freeware...

! ) , etc.). In there, I apply my final "tops and tails" trimming, then save it as a .wav file and then
save as an .mp3 file.
-Dave