INSTALL: wget to explicit file name