* configure.in: Work around a bug in Autoconf-2.53 that prevents