switch from wget to curl and force specific file names