generated from configure.in by autoconf.