I just noticed `ANDROID_r4_3_0` is used twice here. Sounds like a bug...