Tweak DEBUG_CFLAGS