Hmmm, sorry for the noise. It seems that the debian package autoconf2.64 works. However somehow deleting and installing autoconfxxx left a "autoconf2.50" binary installed, which the pike run_autoconfig script seems to prefers and causes the error.
/Marc
