Update html5shiv to v3.7.1.