chiark / gitweb /
build: Fix for newer Auto tools.