On Thu, 2022-01-06 at 22:08 +0800, Kevin Suo wrote: > > so to debug why that might not be happening I'd look into > > config.log > > Do you mean the terminal output of "./autogen.sh"? no, literally the file named config.log that should have been generated in the dir that configure/autogen.sh was run in.