#16: "versionCode" not correctly propagated in Android