Rename debug.h to debugtools.h.