Use autoconf 2.13 for now to keep the nightly build running