Derive UNIX socket filename from PID filename.