make proguard work, but keep it disabled for now