known issue: should use /dev/random when creating a domain
added Dockerfile for t he zip developer distribution