Make sure the latest ndk patches are used