autogen.sh: minor tweaks