Use the minified distribution of `html5shiv`.