Adding the 64 bit binary