Update bitcount.h