edit to proguard.txt