Comment 6 for bug 411890

@dreamcat4: Thanks for doing all the research and actual thinking in this matter!

Making autoconf2.13 an explicit build dependency (instead of merely autoconf) does make php5 build nicely. I generated new source packages with this change, and built it without any trouble inside a pbuilder chroot.

The potential side effect is of course that someone unknowingly doing an "apt-get build-dep php5" might later on experience some unexpected autoconf issues.