setup for Android AIDE