Make debugtools.h independent from config.h.

5 files changed