minor changes for monotouch and mono-for-android