chiark / gitweb /
add missing stuff to make clean