Fix monodroid build (and likely monotouch too).