No option to export MP3 file since last update 3.5.1

Since the last update from audacity 3.5.1, the option to export a file or multiple files to MP3 format is removed from the “Audio export” environment. Is this feature really removed from audacity or is this a bug? Any help would really be appreciated!

Go to Edit → Preferences → Modules and make sure mod-mp3 (and everything else) is enabled.

It helped, thank you very much!