3 years ago Stefan Sperling
disable debug by default again
repair DEBUG build
rename 'debug.h' to 'diff_debug.h'