Oops, fixes ANDROID_HOME