Added x86-64 binary