Fixed names of the ext prods files downloaded.

Now the file name is the name declared in the first segment of extprods.links.txt (before the space)