chiark / gitweb /
util: make generation of profcs PID paths nicer