attempting port to 64 bit