Don't use -DNDEBUG