Minor cmake tweak for buildbot