Fix compilation with Android NDK