Default to MP3

If no extension is given then default to .mp3 for audio files. This at
least gives us a change of finding the media without iterating over all
possible extensions. This also keeps playing audio files deterministic
while adding a nice fall back.