Update UserAgent string with brand change

It all depends on if NDEBUG is defined or not.