Add -DNDEBUG