download_externals: Fix issue with re-install