Turns out that .apk files with the same name on different versions are
in fact different, as they were built by different toolchains. I did not
think of this.