Fixes #5429: remove use of curl proxy on Windows
Merge pull request #466 from ncharles/bug_5429/dev/no_proxy_on_windows

Fixes #5429: remove use of curl proxy on Windows