HTML5Shiv: downgrade from `3.7.1` to `3.7.0`