build.gradle: some minor modifications