Fix deployment glitches on AWS linux
Setting file name for downloaded files