fix 32 bit os problem