Fixed: chroot-installation_sid_install_kde-full/3023

[jenkins at jenkins.debian.net]

See https://jenkins.debian.net/job/chroot-installation_sid_install_kde-full/3023//console or just https://jenkins.debian.net/job/chroot-installation_sid_install_kde-full/3023/ for more information.