ANDROID: Find correct NDK platform when API hasn't changed