Dockerfiles for Debian build environments