INSTALL_TYPE='binpkg-deb'
PREBUILT_ARCH='aarch64'
PREBUILT_DISTRO='debian 11'
