Merge pull request #5451 from delroth/gradle build.gradle: do not change the output filename, our CI relies on it
