Fixing a Python3 error in the Android toolchain.