Back to autoconf 2.13