GitHub's API has stopped sending the artifact name as the file name, so we ended up with a file matching the artifact ID. Name the full file path explicitly so there's no room for changes.