MP3 version as alternative HTML5 audio element, needed for Android