[TBD]Moving 32bit binary to 64 bit