fix 32/64 bit stuff