user agent: use version number