Skip certificate check on Windows, wget dislikes it
Merge remote-tracking branch 'upstream/release-4.0' into build-4.0.2