fix 32 bit problem