autoconf-archive: 2013.06.09.