From: Hartmut Birr
I see the same problem. I've fixed it, by modifying debug.h.
Now you have to add an explicit statement #undef NDEBUG.
Any reason not to let the rest of us benefit from this (or, in other words,
can you please commit that change)?
Thanks, GvG