further refinements to docker files