delete DockerFile