File download_binary-addons.sh of Package kodi.binary-addons