Make: In autogen.sh, don't run ./configure since the user may want to run ./configure with options.