Fixes for monodevelop