Modify git clone in Dockerfiles