Roll back debug.h