So somehow the pantsd pidfile contains the wrong pid, in a somewhat dangerous way.