Fixed an installation problem caused by some versions of wget.