Make Distribution CI tools use Debian 12 as base