Fix for Docker 0.7.3 which broke Github pulling.

Docker 0.7.3 broke direct pulling from Github. This works around this issue.