attempted to fix bug by resoting bitarray.h