remove noproxy option from curl cmd line for compatibility with older curls