Once https://github.com/zeek/broker/issues/256 has been fixed, we can revert #9.
Once zeek/broker#256 has been fixed, we can revert #9.