Re: Old Buildbot problem - ideas to fix it?