Redis 64bit binaries