fix dbgutil build (probably)

Change-Id: Ic60f00d6b9aa450bb749e8ef8d680c4b9abbaa4a