Delete setup_for_docker.sh