Fix android build with latest NDK