fix for 32 bit machines