Improvement of default user agent string, fixes #435