update the filenames to check.

I noticed that the eclipse distribution is downloaded again and again because the build script is looking for an incorrect filename.