Don't lose the PID file if the workspace is lost.