> 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