Fix build errors with -DNDEBUG.