disable DEBUG_BUGVERBOSE