Explicit shutdown-agents to hopefully avoid deadlock