Only update the bootstrap script on request. Fixes #9535.