HALO: fix build

Change-Id: Id4428388c95976a348b717b1c0c5c671a8950085