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