Gettext and PHP4.2.0?

Hi everyone, I've recently (for once in my life!) succesfully compiled PHP4.2.0 using the following configure command-line: './configure' '--prefix=/usr' '--with-config-file-path=/etc' '--disable-debug' '--enable-pic' '--enable-inline-optimization' '--with-apxs=/usr/sbin/apxs' '--with-exec-dir=/usr/bin' '--with-regex=system' '--with-gettext=shared' '--with-zlib' '--with-gdbm' '--with-layout=GNU' '--enable-debugger' '--enable-magic-quotes' '--enable-sockets' '--enable-sysvsem=shared' '--enable-sysvshm=shared' '--enable-track-vars' '--enable-yp' '--enable-ftp' '--enable-wddx' '--without-unixODBC' '--without-oracle' '--without-oci8' '--with-mysql=/usr' '--with-gd-dir=/usr' '--with-flex' '--with-jpeg-dir=/usr' '--with-png-dir=/usr' '--with-ttf' As you can see it contains "--with-gettext" so I'd expect a function like bindtextdomain() is availible. However, Horde (chora, actually) reports: Fatal error: Call to undefined function: bindtextdomain() in /home/virtual/site4/fst/var/www/html/horde/lib/Lang.php on line 91 What could have gone wrong and how can I fix it? Thanks in advance -- Bram v. Leur The Netherlands Proud to PHP!