wget
This commit fixes issue #4248 which is the reason for the build errors in docker.
Signed-off-by: rklein <gmse45forse@googlemail.com>
To fix this