add (ugly!) NoDelete argument to MarkInstall to make DoUpgradeWithAllowNewPackages() really work