fix for 64 bit build