Android: fix OsVersionManager