Board Thread:Questions and Answers/@comment-25998565-20150112020928/@comment-26330494-20150420184344

If it still classified as "all files", you could just add ".ogg" at the back of filename when you're saving it. After that, you can play the OGG Vorbis file using any compatible media player or convert it into MP3 using audio converter.