INSTALL: `wget` should use specified output file