Fix bootstrap script.