set_curlproxy() fixes. Issue #11476
(cherry picked from commit 75a3b0decc8e26e42cdc04f84d7a1a806c922f5a)
set_curlproxy() fixes. Issue #11476
(cherry picked from commit 75a3b0decc8e26e42cdc04f84d7a1a806c922f5a)