diff --git a/jenkins-setup-build-environment b/jenkins-setup-build-environment
index 906f0aff..0cfe3505 100755
--- a/jenkins-setup-build-environment
+++ b/jenkins-setup-build-environment
@@ -60,6 +60,7 @@ vagrant box add --force fdroid-stretch64 ~/.cache/fdroidserver/fdroid-stretch64-
 
 cd $WORKSPACE
 echo "debian_mirror = 'https://deb.debian.org/debian/'" > $WORKSPACE/makebuildserver.config.py
+echo 'basebox = "fdroid-stretch64"' >> $WORKSPACE/makebuildserver.config.py
 echo "boot_timeout = 1200" >> $WORKSPACE/makebuildserver.config.py
 echo "apt_package_cache = True" >> $WORKSPACE/makebuildserver.config.py
 echo "copy_caches_from_host = True" >> $WORKSPACE/makebuildserver.config.py