fix debugging build

Change-Id: I7264f670dd60f6121a23a4cb5524edc3bf1dcee7