Change of strategy: use packaged tarball instead of latest git version, because it uses our ridiculously obsolete version of autoconf.