added html5shiv library, fixed #1751