Fix the [monodroid] build.