Fix html5 compilation errors