Don't include debug.h in any production code.

It uses some GNU-specific things.