Tweak Vagrant - use BrightBox binaries