Mono-addins and monodevelop