Docker build files for debian