Fix html5 web player download