Re: [PATCH 0/3] Fix broken build with -DNDEBUG