Hi all, I've recently been bitten by the 'download' script, which was unable to use curl, even tough it is in my $PATH. The attached patch replaces the strange and broken lookup logic present in the script by a single 'which' command. If there is no objection, I'll push this patch in a few days. -- Francois Tigeot