Export to wav or mp3

Yes. Discussion here: 2.24.1 can't export WAV or MP3
Fix is supposed to be coming.