fix HTML5 build