issue #3828: Fix a mistake in android-build.py.
issue #3828: Updates android build.