fix for addins.monodevelop.com
fix for addins.monodevelop.com