Host tooling for Debian CI