fixup! Add a note about autoconf 2.13.