This would only be necessary if you would have to execute bootstrap.sh twice.