use autoconf 2.13