fix build for non-verbose debugging