make android-ndk8 happy