Adding noproxy to curl, still for issue #12