Fix NDEBUG build.