Changes to configure, based on new run of autoconf.