включить отладку в SystemC

Я посмотрел на источник SystemC и увидел, что есть такие вещи, как:

#define DEBUGF \
if (0) std::cout << "sc_cor_pthread.cpp(" << __LINE__ << ") "

и позже есть такие строки, как:

    DEBUGF << this << ": sc_cor_pthread::sc_cor_pthread()" << std::endl;

(это из sc_cor_pthread.cpp)

Я уже включил опцию отладки при настройке с помощью ../configure --enable-debug но это не похоже на активацию такого рода вещей. Как я должен включить их вместо изменения источника вручную?