Make HTML5 the default