Update x86_64 binary support files