bash: set ANDROID_HOME on all platforms