Delete infra3.sh