only use html5 player if mp3 is supported (re #225)