Fixing ninja bootstrap.