fix for addins.monodevelop.com