Add 64-bit Linux binary.