shuffle ANDROID_NDK_PATH setting (somehow it breaks apt-get update)