deleted DockerFile.