This adds a user agent string to the wget request. Fixes #17507 Signed-off-by: Claudio Marelli <camarelli@gmx.net>