Call to undefined function hash_file() with PHP 5.3.5 [#1052316]

I am getting this error on my server:

PHP Fatal error: Call to undefined function hash_file() in autoload.registry.inc on line 170

This is my PHP version:

PHP 5.3.5 with Suhosin-Patch (cli) (built: Jan 13 2011 20:20:40)
Copyright (c) 1997-2009 The PHP Group
Zend Engine v2.3.0, Copyright (c) 1998-2010 Zend Technologies

The server is:

FreeBSD graasten.revealit.dk 8.1-RELEASE FreeBSD 8.1-RELEASE #0: Mon Jul 19 02:36:49 UTC 2010 root@mason.cse.buffalo.edu:/usr/obj/usr/src/sys/GENERIC amd64

PHP build string is:

'./configure' '--with-layout=GNU' '--localstatedir=/var' '--with-config-file-scan-dir=/usr/local/etc/php' '--disable-all' '--enable-libxml' '--with-libxml-dir=/usr/local' '--with-pcre-regex=/usr/local' '--with-zlib-dir=/usr' '--program-prefix=' '--disable-cgi' '--enable-fpm' '--with-fpm-user=www' '--with-fpm-group=www' '--with-regex=php' '--with-zend-vm=CALL' '--prefix=/usr/local' '--mandir=/usr/local/man' '--infodir=/usr/local/info/' '--build=amd64-portbld-freebsd8.1'

According to the docs: http://dk.php.net/manual/en/function.hash-file.php – the function is supposed to be present in all versions since 5.1.2, so I am a bit puzzled…