Some old Android platforms have a different platform name; try to get
them all with one regexp.