Halo: fix the build