Make USE_GLOBAL_ADK work again, and install Android SDK more carefully