Re: crash, leaving PID file