Android VDEX formats