fix --no-proxy curl option