fix for latest android ndk