Fix Halo build