Update bitvector constructor, now full compatible