autogen.sh: use /bin/sh