Fix compilation on Android