wget download will use the proper file name