Fix bootstrap script name.