Fix compilation error when using the Android NDK