I tried this workaround.
But after re-deploying the patch, DC still tried to download the installer although - although the correct installer was already in the right directory and correctly named - and - of course - failed again.
But after re-deploying the patch, DC still tried to download the installer although - although the correct installer was already in the right directory and correctly named - and - of course - failed again.