chiark / gitweb /
util: try harder to rename the process