I tested with the ffmpeg-5 binary, audacity no longer executes ffmpeg, it uses libavformat as a channel for export.