Add relevant headers to debug.h.