Changed file names

Because the way ant handles downloaded file names is different from
Chrome...