[BUILD] fix build breakage with DEBUG_FULL

Paul Hirose reported a build error when DEBUG_FULL is set.
1 file changed