manifest: track our modified proguard
for openjdk7 build