ANDROID: Update the NDK toolchain to 15