#! /bin/bash export PIKA_BUILD_ARCH="amd64-v3" export DEBIAN_FRONTEND="noninteractive" export DPKG_GENSYMBOLS_CHECK_LEVEL=0