Fix a problem in the buildbot test config.