fix compilation w/o -DNDEBUG