Changes for autoconf 1.14