INSTALL_TYPE='binpkg-deb'
PREBUILT_ARCH='aarch64'
PREBUILT_DISTRO='ubuntu 25.10'
