kill old servers harder with buildbot #648