MLTT: Gradle is Magic