fix 64 bit build