buildbots

[Justin Mason]

Buildbot slaves need to be restarted; there was some downtime while Mads
did some patching of the Zones server.

--j.