fix 32bit incompatibility

this should fix 32 bit problems for my compressed bitvector code.