Avoid endless loop in bootstrap.sh