Fix the buildbot