Fix Android NDK install for newer versions.

Author: Alexhuszagh

docker/android-ndk.sh

@@ -21,7 +21,8 @@ NDK_URL="https://dl.google.com/android/repository/${NDK_FILENAME}"
 main() {
     local arch="${1}"
 
-    install_packages curl unzip python
+    # python3 is needed for newer NDK versions
+    install_packages curl unzip python python3
 
     local td
     td="$(mktemp -d)"