AUTOBUILD_CONFIGURE_EXTRA="${AUTOBUILD_CONFIGURE_EXTRA} --arch=x86_64"
source Autobuild/debian.sh