chiark / gitweb /
autogen.sh: use /bin/sh