The manual 'autogen.sh' is necessary because otherwise it would run ./configure too early. I tried removing the autoconf, etc. inputs and it didn't work. Am I missing something? -- Pierre Neidhardt