Update Bitcount.h