proguard-project.txt:  `android`-generated default