Draft: fix debian stretch sources list
Debian Stretch has been moved to the archive (see https://lists.debian.org/debian-devel-announce/2023/03/msg00006.html)
Maybe, we should move to another slim debian image? Or is there a reason on why we keep that version?
This fix distfiles.js CI failure