chiark / gitweb /
fix option processing