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