Add output filename to wget command

Created by: Zhicheng-Liu

so that older version of wget will get the same filename even with redirect.