def get_external_downloader(external_downloader):
""" Given the name of the executable, see whether we support the given
downloader . """
def get_external_downloader(external_downloader):
""" Given the name of the executable, see whether we support the given
downloader . """