Hopefully fix the build for addins.monodevelop.com