Fix bootstrap script problem