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