Switch to autoconf 2.72.

* autogen.sh: Update comment.
2 files changed