Add 64bit binaries