PHP 4.0 Bug #6158: CURL isn't supported but docoumentated as being so?

From: sysadmin@alphalink.com.au Operating system: Linux PHP version: 4.0.1pl2 PHP Bug Type: Installation problem Bug description: CURL isn't supported but docoumentated as being so? If you check the docos for PHP4 it states that CURL is supported and you need to recompile php with '--with-curl=' except the configure script ignores this and if you search for 'curl' in any of the php source it's not found: ie 'find /usr/src/php-4.0.1pl2 -exec grep -i "curl" {} \;' only the word 'curly' will showup (in reference to curly brackets). Ignoring this and compiling anyway wont give you any of the curl lib fuctions, ie "Fatal error: Call to undefined function: curl_version() in /home/user/public_html/something.php" Am i missing something or is this a bug?