Fix compilation with -DNDEBUG