autoconf: update to 2.72