Fixed file name issue for some versions of wget.