chiark / gitweb /
Fixing for new autotools.