Fixed minor bug in generate_autoconf_files.sh