fix ninja bootstrap