[PATCH 2/3] Fix build with -DNDEBUG