ANDROID_NDK_HOME no longer needed