fix buildbot compilation