Fixes #780: audio is always .mp3