follow-messages: shut down less messily upon SIGINT