IIRC, Red is not yet fully self-hosted, so it makes sense that the download would embed a copy of the original 32-bit x86 Rebol to bootstrap / compile.