Fix NDK build

Now build-ndk.sh should be usable.