Renaming hybrid_bitvector to hyb_bitvector.