Fixes #5429: remove use of curl proxy on Windows