Takes ~8–12 min on RPi4, but produces a fully working binary (rtk --version and rtk gain both work). Agreed that a static musl build for aarch64 (like the existing one for x86_64) is the right fix — ...