Update to use x86-64 version