Correct file name and extension for the top level Gradle build file