fix build for Halo

Change-Id: Iede79ffa14cad86d6bfd8635167bbf31b616d0fb