diff --git a/tools/generator.sh b/tools/generator.sh
index 927ec5eb5484333076cf090f8a1152b6c640a217..abeea1adf6af901e1e6ea425896db1099897df03 100644
--- a/tools/generator.sh
+++ b/tools/generator.sh
@@ -23,6 +23,9 @@ elif [ -f "/.dockerenv" ] ; then
 	# Preinit APT
 	ln -fs /usr/share/zoneinfo/Europe/Berlin /etc/localtime
 	export DEBIAN_FRONTEND=noninteractive
+	# Use alternative debian repo
+	echo "Acquire { https::Verify-Peer false }" >/etc/apt/apt.conf.d/99verify-peer.conf
+	sed -ie "s|http://deb.debian.org/|https://debian.inf.tu-dresden.de/|" /etc/apt/sources.list
 	apt-get update
 
 	# Setup
diff --git a/tools/testor.sh b/tools/testor.sh
index f3fccb75dc66b6536ba7403bc7ce4c1ae7b793f6..448b18927a6026696dcc53bee1dda12c0bbb7086 100644
--- a/tools/testor.sh
+++ b/tools/testor.sh
@@ -35,6 +35,9 @@ elif [ -f "/.dockerenv" ] ; then
 	# Preinit APT
 	ln -fs /usr/share/zoneinfo/UTC /etc/localtime
 	export DEBIAN_FRONTEND=noninteractive
+	# Use alternative debian repo
+	echo "Acquire { https::Verify-Peer false }" >/etc/apt/apt.conf.d/99verify-peer.conf
+	sed -ie "s|http://deb.debian.org/|https://debian.inf.tu-dresden.de/|" /etc/apt/sources.list
 	apt-get update
 	apt install -y make ${PACKAGES[@]:-}