Fixing ANDROID_NDK_HOME and ANDROID_HOME with readlink