I forget, doesn't Audacity also have you do this, if you want to be able to export projects as MP3?

yes, although the I recently tried doing this on a cloud Ubuntu instance, and it refused to see the .so file