chiark / gitweb /
debian: always run configure