Update infra3.sh