Saving a track in .mp3 format

When I press export to mp3 the computer saves it with a .ink file extension. I don’t know what this is and I can’t use it anyway. How can I get proper .mp3 extensions on my recorded music?

Are you using Audacity 2.4.2 and did you get it from here?

Audacity doesn’t export .ink sound files instead of MP3.