ARM 64 build. U_BOOT. make prefix (wget 404)

Kernel
1

Hello.

I am trying to build ARM64 using this instruction

At build step U_BOOT is called make prefix (aarch64-rebase/aarch64.sh#L59). This triggers an attempt to download static.redox-os.org/toolchain/aarch64-unknown-redox/rust-install.tar.gz (aarch64-rebase/mk/prefix.mk#L46).

But server does not contain binaries for aarch64-unknown-redox (x86_64-unknown-redox only).
An error occurs:

wget -O prefix/aarch64-unknown-redox/rust-install.tar.gz.partial "https://static.redox-os.org/toolchain/aarch64-unknown-redox/rust-install.tar.gz"
<...>
Connecting to static.redox-os.org (static.redox-os.org)|23.21.162.66|:443... connected.
HTTP request sent, awaiting response... 404 Not Found
2021-08-20 12:39:14 ERROR 404: Not Found.

make: *** [mk/prefix.mk:46: prefix/aarch64-unknown-redox/rust-install.tar.gz] Error 8

Where can you get the required rust-install.tar.gz?

2

Workaround:

$ git diff
diff --git a/mk/config.mk b/mk/config.mk
index 61f4996..77b5745 100644
--- a/mk/config.mk
+++ b/mk/config.mk
@@ -6,7 +6,7 @@ ARCH?=aarch64
 ## Flags to pass to the installer (empty to download binary packages)
 INSTALLER_FLAGS?=--cookbook=cookbook
 ## Enabled to use binary prefix (much faster)
-PREFIX_BINARY?=1
+PREFIX_BINARY?=0
 ## Filesystem size in MB (256 is the default)
 FILESYSTEM_SIZE?=48