Added Revolver + XsbtSh for deleting RUNNING_PID