NO_CURL_IOCTL     200 http-push.c    #ifndef NO_CURL_IOCTL
NO_CURL_IOCTL     106 http.c         #ifndef NO_CURL_IOCTL
NO_CURL_IOCTL      80 http.h         #ifndef NO_CURL_IOCTL
NO_CURL_IOCTL     401 remote-curl.c  #ifndef NO_CURL_IOCTL
NO_CURL_IOCTL     548 remote-curl.c  #ifndef NO_CURL_IOCTL