1 2
Check out a copy of https://github.com/mit-plv/bbv in the parent directory and build it. Then run ./build.