fix html5shiv version to follow official naming pattern