Make docker root directory configurable

Another small change to make the docker root dir configurable.