Halo : fix derp to build

Change-Id: I5bd2ac7043cb0d63998eeaf2138792b925643f0a