change dbgdefn.h header files reference to be more transparent