failed building Bit-Vector-Named prerequisite Bit-Vector
aborting build of Bit-Vector-Named: failed prerequisites