use HTML5; in setup script.