The current random filename when downloading from S3 is a very big nuisance for all users. You have no clue what it is, no way to discover if you have the latest update of that product and is a major handicap when you want to keep your runtimes organized since there is no relation between a product and its filename

You absolutely need to find a real and permanent solution for this