needed for building HTML5 lib.