issue #5814: fix android-build.py