void SetIsUserAddin(AddinDescription adesc)
{
string installPath = database.Registry.DefaultAddinsFolder;
if (installPath [installPath.Length - 1] != Path.DirectorySeparatorChar)
installPath += Path.DirectorySeparatorChar;
isUserAddin = adesc != null && Path.GetFullPath (adesc.AddinFile).StartsWith (installPath);
}