HALO: remove Ninja option
We don't need it