CI: use explicit Debian release names.