When I push a zip file with butler, no matter what I call it, the file gets renamed to game-name-channel-name.zip when users download it. This is different from the display name of the file, which I can easily change on the edit game page. It would be nice if I could keep the zip file having the same name as when uploaded, or otherwise specify the file name with a flag. As is, if I want the .zip to have the name I want, I need to upload it directly using the website, and I lose all the helpful effects of butler, especially being able to just push to a channel.